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

Merge pull request #2 from hacspec/fstar-version test action #50: Commit 3172f19 pushed by franziskuskiefer
January 23, 2025 17:24 1m 53s main
main
January 23, 2025 17:24 1m 53s
fix: filenames of release have no consistency test action #49: Commit 9df2fe4 pushed by W95Psp
January 23, 2025 15:42 1m 33s fstar-version
fstar-version
January 23, 2025 15:42 1m 33s
wip test action #48: Commit 7d8225e pushed by W95Psp
January 23, 2025 15:40 1m 27s fstar-version
fstar-version
January 23, 2025 15:40 1m 27s
wip test action #47: Commit 4a0b313 pushed by W95Psp
January 23, 2025 15:36 21s fstar-version
fstar-version
January 23, 2025 15:36 21s
wip test action #46: Commit 6a9fab6 pushed by W95Psp
January 23, 2025 15:35 22s fstar-version
fstar-version
January 23, 2025 15:35 22s
fix: sometimes the releases have no v prefix test action #45: Commit 4f47183 pushed by W95Psp
January 23, 2025 15:28 1m 30s fstar-version
fstar-version
January 23, 2025 15:28 1m 30s
fix: sometimes the releases have no v prefix test action #44: Commit 93db2a0 pushed by W95Psp
January 23, 2025 15:11 2m 5s fstar-version
fstar-version
January 23, 2025 15:11 2m 5s
CI fixes test action #43: Commit 4cf4dbd pushed by W95Psp
January 23, 2025 10:30 1m 32s fstar-version
fstar-version
January 23, 2025 10:30 1m 32s
wip test action #42: Commit 855d13f pushed by W95Psp
January 23, 2025 10:30 1m 40s fstar-version
fstar-version
January 23, 2025 10:30 1m 40s
w test action #41: Commit 63481ff pushed by W95Psp
January 23, 2025 10:28 1m 36s fstar-version
fstar-version
January 23, 2025 10:28 1m 36s
wip test action #40: Commit fe889e7 pushed by W95Psp
January 23, 2025 10:12 36s fstar-version
fstar-version
January 23, 2025 10:12 36s
wip test action #39: Commit 0c8a050 pushed by W95Psp
January 23, 2025 09:32 15s fstar-version
fstar-version
January 23, 2025 09:32 15s
wip test action #38: Commit 56ac7e2 pushed by W95Psp
January 23, 2025 09:29 1m 25s fstar-version
fstar-version
January 23, 2025 09:29 1m 25s
drop magic-nix-cache-action test action #37: Commit 31290fc pushed by W95Psp
January 23, 2025 09:27 1m 27s fstar-version
fstar-version
January 23, 2025 09:27 1m 27s
Download F* releases from GitHub test action #36: Commit 3ea5a83 pushed by W95Psp
January 23, 2025 09:26 1m 47s fstar-version
fstar-version
January 23, 2025 09:26 1m 47s
Update action.yml test action #35: Commit 6fed141 pushed by franziskuskiefer
January 23, 2025 07:02 47m 17s fstar-version
fstar-version
January 23, 2025 07:02 47m 17s
Update action.yml test action #34: Commit e41cfdd pushed by franziskuskiefer
January 23, 2025 06:57 11s fstar-version
fstar-version
January 23, 2025 06:57 11s
use curl instead of gh releases test action #33: Commit 05bcbd4 pushed by W95Psp
January 22, 2025 15:05 48m 15s fstar-version
fstar-version
January 22, 2025 15:05 48m 15s
wip test action #32: Commit d99e6af pushed by W95Psp
January 22, 2025 14:59 48m 6s fstar-version
fstar-version
January 22, 2025 14:59 48m 6s
wip test action #31: Commit 43c51c2 pushed by W95Psp
January 22, 2025 14:55 1m 34s fstar-version
fstar-version
January 22, 2025 14:55 1m 34s
wip test action #30: Commit f895572 pushed by W95Psp
January 22, 2025 14:45 1m 31s fstar-version
fstar-version
January 22, 2025 14:45 1m 31s
wip test action #29: Commit 36df418 pushed by W95Psp
January 22, 2025 14:41 13s fstar-version
fstar-version
January 22, 2025 14:41 13s
wip test action #28: Commit 35c3e8a pushed by W95Psp
January 22, 2025 14:39 18s fstar-version
fstar-version
January 22, 2025 14:39 18s
wip test action #27: Commit caef6e3 pushed by W95Psp
January 22, 2025 14:39 14s fstar-version
fstar-version
January 22, 2025 14:39 14s
debug test action #26: Commit 1f35906 pushed by W95Psp
January 22, 2025 14:38 15s fstar-version
fstar-version
January 22, 2025 14:38 15s