Skip to content

Actions: santoslab/hamr-tutorials

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
101 workflow runs
101 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Updater Updater #172: Scheduled
1h 33m 27s main
main
1h 33m 27s
Updater Updater #171: Scheduled
1h 39m 16s main
main
1h 39m 16s
Updater Updater #170: Scheduled
6h 0m 19s main
main
6h 0m 19s
Updater Updater #169: Manually run by jasonbelt
1h 37m 43s main
main
1h 37m 43s
Updater Updater #168: Scheduled
20m 42s main
main
20m 42s
Updater Updater #167: Manually run by jasonbelt
1h 34m 17s main
main
1h 34m 17s
Rezip every project, and keep the archives whose contents changed Updater #166: Commit 534a522 pushed by jasonbelt
1h 36m 56s main
main
1h 36m 56s
Stop tracking the INSPECTA-models checkout as a submodule Updater #165: Commit 8e88cd8 pushed by jasonbelt
1h 54m 39s main
main
1h 54m 39s
Add the CI badge to the readme Updater #164: Commit 7762af6 pushed by jasonbelt
1m 34s main
main
1m 34s
Remove the INSPECTA-models checkout before change detection Updater #163: Commit 1c0aa41 pushed by jasonbelt
1m 28s main
main
1m 28s
Regenerate every Microkit tree for 2.3.0 and Verus's mut-ref rules Updater #162: Commit 6931d6b pushed by jasonbelt
1h 44m 17s main
main
1h 44m 17s
Updater Updater #161: Scheduled
1h 1m 45s main
main
1h 1m 45s
Build against provers-setup.sh on Linux and macOS, keeping the contai… Updater #160: Commit 8eb1537 pushed by jasonbelt
1h 2m 19s main
main
1h 2m 19s
Updater Updater #159: Manually run by jasonbelt
20m 13s main
main
20m 13s
Updater Updater #158: Scheduled
1h 16m 42s main
main
1h 16m 42s
Updater Updater #157: Scheduled
56m 49s main
main
56m 49s
Updater Updater #156: Scheduled
1h 22m 10s main
main
1h 22m 10s
Updater Updater #155: Scheduled
1h 18m 51s main
main
1h 18m 51s
Sync StructSplit test files with updated HAMR Rust test codegen Updater #154: Commit b289430 pushed by jasonbelt
1h 18m 6s main
main
1h 18m 6s
Updater Updater #153: Scheduled
1h 19m 43s main
main
1h 19m 43s
Add P-EDP-SNG-Example to the CI build Updater #152: Commit bdd016a pushed by jasonbelt
1h 17m 18s main
main
1h 17m 18s
Add SysPropStructSplit projects to the CI build Updater #151: Commit afda444 pushed by jasonbelt
1h 5m 35s main
main
1h 5m 35s
Updater Updater #150: Scheduled
38m 13s main
main
38m 13s
Complete the root README examples section Updater #149: Commit 10b658e pushed by John-Hatcliff
27m 6s main
main
27m 6s
Add P-EDP Simple Isolette example to root README Updater #148: Commit ce4f7fe pushed by John-Hatcliff
28m 15s main
main
28m 15s