Skip to content

Actions: FStarLang/steel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
803 workflow runs
803 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Steel nightly test Steel nightly test #544: Scheduled
2m 33s main
main
2m 33s
Add mtime to list of ocaml packages in Nix build Build and test Steel #1518: Pull request #182 opened by R1kM
4m 25s afromher_misc
afromher_misc
4m 25s
Add mtime to list of ocaml packages in Nix build Build and test Steel #1517: Commit 1716371 pushed by R1kM
3m 47s afromher_misc
afromher_misc
3m 47s
Steel nightly test Steel nightly test #543: Scheduled
2m 39s main
main
2m 39s
Steel nightly test Steel nightly test #542: Scheduled
6m 1s main
main
6m 1s
Merge pull request #181 from mtzguido/fix Build and test Steel #1516: Commit 993eb0f pushed by mtzguido
9m 37s main
main
9m 37s
FStar.Stubs.Pprint -> FStar.Pprint Build and test Steel #1515: Pull request #181 synchronize by mtzguido
10m 4s mtzguido:fix
mtzguido:fix
10m 4s
FStar.Stubs.Pprint -> FStar.Pprint Build and test Steel #1514: Pull request #181 opened by mtzguido
6m 47s mtzguido:fix
mtzguido:fix
6m 47s
Steel nightly test Steel nightly test #541: Scheduled
16m 0s main
main
16m 0s
Steel nightly test Steel nightly test #540: Scheduled
5m 4s main
main
5m 4s
Steel nightly test Steel nightly test #539: Scheduled
10m 45s main
main
10m 45s
Steel nightly test Steel nightly test #538: Scheduled
3m 25s main
main
3m 25s
Steel nightly test Steel nightly test #537: Scheduled
5m 7s main
main
5m 7s
Steel nightly test Steel nightly test #536: Scheduled
2m 40s main
main
2m 40s
Steel nightly test Steel nightly test #535: Scheduled
2m 41s main
main
2m 41s
Merge pull request #180 from mtzguido/fstarc Build and test Steel #1513: Commit 0f3e79a pushed by mtzguido
9m 46s main
main
9m 46s
Moving FStar->FStarC Build and test Steel #1512: Pull request #180 synchronize by mtzguido
11m 13s mtzguido:fstarc
mtzguido:fstarc
11m 13s
Moving FStar->FStarC Build and test Steel #1511: Pull request #180 opened by mtzguido
8m 7s mtzguido:fstarc
mtzguido:fstarc
8m 7s
Merge pull request #179 from mtzguido/fix Build and test Steel #1510: Commit 90d7ce2 pushed by mtzguido
10m 30s main
main
10m 30s
Stabilize proof Build and test Steel #1509: Pull request #179 synchronize by mtzguido
9m 44s mtzguido:fix
mtzguido:fix
9m 44s
Stabilize proof Build and test Steel #1508: Pull request #179 synchronize by mtzguido
6m 13s mtzguido:fix
mtzguido:fix
6m 13s
Stabilize proof Build and test Steel #1507: Pull request #179 opened by mtzguido
6m 16s mtzguido:fix
mtzguido:fix
6m 16s
Steel nightly test Steel nightly test #534: Scheduled
3m 36s main
main
3m 36s
Steel nightly test Steel nightly test #533: Scheduled
3m 33s main
main
3m 33s
Steel nightly test Steel nightly test #532: Scheduled
1m 21s main
main
1m 21s
ProTip! You can narrow down the results and go further in time using created:<2024-10-08 or the other filters available.