Skip to content

Actions: hacspec/hax-actions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #14 from hacspec/fstar-binary-download test action #75: Commit 1f01b89 pushed by maximebuyse
8m 56s main
main
8m 56s
Fix number of directories to strip. test action #74: Commit 6c73430 pushed by maximebuyse
3m 55s fstar-binary-download
fstar-binary-download
3m 55s
Test test action #73: Commit d64c237 pushed by maximebuyse
30s fstar-binary-download
fstar-binary-download
30s
Correct input for F* version. test action #72: Commit 06013d8 pushed by maximebuyse
17m 58s fstar-binary-download
fstar-binary-download
17m 58s
Inject F* version as env var test action #71: Commit a1a8150 pushed by maximebuyse
14m 47s fstar-binary-download
fstar-binary-download
14m 47s
Update action.yml test action #70: Commit 86627cc pushed by maximebuyse
9m 3s fstar-binary-download
fstar-binary-download
9m 3s
Merge pull request #13 from hacspec/optional-fstar test action #69: Commit 98b6263 pushed by maximebuyse
12m 40s main
main
12m 40s
Make F* install optional. test action #68: Commit 794f129 pushed by maximebuyse
21m 33s optional-fstar
optional-fstar
21m 33s
Merge pull request #11 from hacspec/jonas/fix-warnings test action #67: Commit 1154c99 pushed by jschneider-bensch
1h 8m 8s main
main
1h 8m 8s
Fix typo test action #66: Commit 8314d4f pushed by jschneider-bensch
1h 2m 34s jonas/fix-warnings
jonas/fix-warnings
1h 2m 34s
Disable use-flakehub option for `DeterminateSystems/magic-nix-cache… test action #65: Commit efe9968 pushed by jschneider-bensch
10s jonas/fix-warnings
jonas/fix-warnings
10s
Merge pull request #10 from hacspec/W95Psp-patch-2 test action #64: Commit d5a3016 pushed by franziskuskiefer
1h 4m 16s main
main
1h 4m 16s
Rely on magic nix cache action instead of Cachix test action #63: Commit d9de6c6 pushed by W95Psp
1h 6m 58s W95Psp-patch-2
W95Psp-patch-2
1h 6m 58s
Merge pull request #9 from hacspec/W95Psp-patch-2 test action #62: Commit 7c2bb37 pushed by W95Psp
12m 31s main
main
12m 31s
fix: use determinate nix test action #61: Commit cabbf3c pushed by W95Psp
12m 30s W95Psp-patch-2
W95Psp-patch-2
12m 30s
Merge pull request #4 from hacspec/W95Psp-patch-2 test action #60: Commit d08dc17 pushed by W95Psp
2m 23s main
main
2m 23s
Update test.yml: use more recent version of F* test action #59: Commit aaad57e pushed by W95Psp
2m 12s W95Psp-patch-2
W95Psp-patch-2
2m 12s
Update action.yml test action #58: Commit 513d176 pushed by W95Psp
9m 1s W95Psp-patch-2
W95Psp-patch-2
9m 1s
fix test action #57: Commit 87ab24d pushed by W95Psp
9m 46s W95Psp-patch-2
W95Psp-patch-2
9m 46s
Use Cachix prebuilt binaries for F* test action #56: Commit 36ba495 pushed by W95Psp
20s W95Psp-patch-2
W95Psp-patch-2
20s
Update action.yml test action #55: Commit 3b8b319 pushed by W95Psp
19s W95Psp-patch-1
W95Psp-patch-1
19s
Update action.yml test action #54: Commit 89a7d77 pushed by W95Psp
18s W95Psp-patch-1
W95Psp-patch-1
18s
Update action.yml test action #53: Commit 445833a pushed by W95Psp
28s W95Psp-patch-1
W95Psp-patch-1
28s
Fix GH API rate limits test action #52: Commit 3a5c161 pushed by W95Psp
23s W95Psp-patch-1
W95Psp-patch-1
23s
Make curl retry 5 times in presence of network issues test action #51: Commit 3fe2833 pushed by W95Psp
1m 34s main
main
1m 34s