Skip to content

Actions: TWal/comparse

Actions

.github/workflows/nix.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix.yml
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
fix: use prop wherever possible .github/workflows/nix.yml #14: Commit bedffbc pushed by TWal
17s main
main
17s
fix: use prop wherever possible .github/workflows/nix.yml #13: Commit bedffbc pushed by TWal
41m 42s pre-main
pre-main
41m 42s
chore: updating for new F* build (#1) .github/workflows/nix.yml #12: Commit 8e8269e pushed by TWal
16s main
main
16s
update flake .github/workflows/nix.yml #11: Commit d5ad7b2 pushed by TWal
56m 44s dev
dev
56m 44s