Skip to content

Actions: TWal/comparse

Actions

.github/workflows/nix.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix.yml
13 workflow runs
13 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: pass attributes on splice through to generated parser (#3) .github/workflows/nix.yml #27: Commit e93a9da pushed by TWal
21m 20s main
main
21m 20s
chore: update to Z3 4.15.3 (#4) .github/workflows/nix.yml #26: Commit eb1ac32 pushed by TWal
22m 8s main
main
22m 8s
chore: update F* .github/workflows/nix.yml #25: Commit c0aab14 pushed by TWal
15m 39s main
main
15m 39s
chore: update F* .github/workflows/nix.yml #24: Commit 288bf74 pushed by TWal
16m 43s main
main
16m 43s
chore: update F* .github/workflows/nix.yml #23: Commit 014c527 pushed by TWal
11s main
main
11s
chore: update F* .github/workflows/nix.yml #22: Commit 014c527 pushed by TWal
14m 52s pre-main
pre-main
14m 52s
chore: update F* .github/workflows/nix.yml #21: Commit 87024d3 pushed by TWal
36s pre-main
pre-main
36s
chore: update F* .github/workflows/nix.yml #20: Commit d127dfe pushed by TWal
14m 5s pre-main
pre-main
14m 5s
chore: update F* .github/workflows/nix.yml #19: Commit 032e97f pushed by TWal
11s main
main
11s
chore: update F* .github/workflows/nix.yml #18: Commit 032e97f pushed by TWal
15m 6s pre-main
pre-main
15m 6s
chore: update F* .github/workflows/nix.yml #17: Commit eaf7c39 pushed by TWal
1m 1s pre-main
pre-main
1m 1s
cleanup: update F*, remove for_allP .github/workflows/nix.yml #16: Commit 411b021 pushed by TWal
11s main
main
11s
cleanup: update F*, remove for_allP .github/workflows/nix.yml #15: Commit 411b021 pushed by TWal
30m 30s pre-main
pre-main
30m 30s