Skip to content

Actions: hacspec/hax-actions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

debug test action #25: Commit 953ae4b pushed by W95Psp
January 22, 2025 14:37 Failure fstar-version
fstar-version
January 22, 2025 14:37 Failure
use git ls-remote insteaed of gh release test action #24: Commit f3118d7 pushed by W95Psp
January 22, 2025 14:34 2s fstar-version
fstar-version
January 22, 2025 14:34 2s
make the test workflow use the HEAD ref test action #23: Commit f2f3442 pushed by W95Psp
January 22, 2025 14:26 2s fstar-version
fstar-version
January 22, 2025 14:26 2s
F*: use latest release as default test action #22: Commit 5620179 pushed by W95Psp
January 22, 2025 11:43 1m 32s fstar-version
fstar-version
January 22, 2025 11:43 1m 32s
Add an option for F* version test action #21: Commit ae3cb49 pushed by W95Psp
January 22, 2025 11:31 1m 39s fstar-version
fstar-version
January 22, 2025 11:31 1m 39s
Merge pull request #1 from hacspec/drop-hax-env test action #20: Commit db7f921 pushed by franziskuskiefer
January 22, 2025 11:02 1m 48s main
main
January 22, 2025 11:02 1m 48s
Do not use hax-env test action #19: Commit 4d2e8dc pushed by W95Psp
January 22, 2025 10:44 2m 0s drop-hax-env
drop-hax-env
January 22, 2025 10:44 2m 0s
feat: add README test action #18: Commit d4916d0 pushed by W95Psp
February 28, 2024 15:34 1m 36s main
main
February 28, 2024 15:34 1m 36s
feat: add README test action #17: Commit 470b7dc pushed by W95Psp
February 28, 2024 15:33 1m 22s main
main
February 28, 2024 15:33 1m 22s
feat: add README test action #16: Commit 3393803 pushed by W95Psp
February 28, 2024 15:32 1m 46s main
main
February 28, 2024 15:32 1m 46s
init test action #15: Commit d57c014 pushed by W95Psp
February 28, 2024 15:20 1m 22s main
main
February 28, 2024 15:20 1m 22s
wip test action #14: Commit 73932f3 pushed by W95Psp
February 28, 2024 15:09 1m 26s main
main
February 28, 2024 15:09 1m 26s
wip test action #13: Commit 75c873d pushed by W95Psp
February 28, 2024 14:27 17m 15s main
main
February 28, 2024 14:27 17m 15s
wip test action #12: Commit 37347da pushed by W95Psp
February 28, 2024 14:16 35s main
main
February 28, 2024 14:16 35s
wip test action #11: Commit adc797a pushed by W95Psp
February 28, 2024 14:03 17m 37s main
main
February 28, 2024 14:03 17m 37s
wip test action #10: Commit a64d3fc pushed by W95Psp
February 28, 2024 13:54 17m 24s main
main
February 28, 2024 13:54 17m 24s
wip test action #9: Commit 373d798 pushed by W95Psp
February 28, 2024 13:53 23m 36s main
main
February 28, 2024 13:53 23m 36s
wip test action #8: Commit 6d27f13 pushed by W95Psp
February 28, 2024 13:48 17m 43s main
main
February 28, 2024 13:48 17m 43s
wip test action #7: Commit 1aec1a0 pushed by W95Psp
February 28, 2024 13:47 10s main
main
February 28, 2024 13:47 10s
wip test action #6: Commit e9f42ce pushed by W95Psp
February 28, 2024 13:47 13s main
main
February 28, 2024 13:47 13s
wip test action #5: Commit 8309b8c pushed by W95Psp
February 28, 2024 13:46 Startup failure main
main
February 28, 2024 13:46 Startup failure
wip test action #4: Commit fea89b1 pushed by W95Psp
February 28, 2024 13:45 Startup failure main
main
February 28, 2024 13:45 Startup failure
wip test action #3: Commit 4238393 pushed by W95Psp
February 28, 2024 13:45 Failure main
main
February 28, 2024 13:45 Failure
wip test action #2: Commit 3f8f5d4 pushed by W95Psp
February 28, 2024 13:44 Failure main
main
February 28, 2024 13:44 Failure
init test action #1: Commit ba95c6c pushed by W95Psp
February 28, 2024 13:41 Failure main
main
February 28, 2024 13:41 Failure