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 #559: Scheduled
45m 20s main
main
45m 20s
Steel nightly test Steel nightly test #558: Scheduled
40m 21s main
main
40m 21s
Steel nightly test Steel nightly test #557: Scheduled
37m 14s main
main
37m 14s
Steel nightly test Steel nightly test #556: Scheduled
44m 10s main
main
44m 10s
Steel nightly test Steel nightly test #555: Scheduled
40m 22s main
main
40m 22s
Steel nightly test Steel nightly test #554: Scheduled
50m 44s main
main
50m 44s
Steel nightly test Steel nightly test #553: Scheduled
45m 46s main
main
45m 46s
Steel nightly test Steel nightly test #552: Scheduled
44m 19s main
main
44m 19s
Steel nightly test Steel nightly test #551: Scheduled
40m 17s main
main
40m 17s
Steel nightly test Steel nightly test #550: Scheduled
38m 5s main
main
38m 5s
Steel nightly test Steel nightly test #549: Scheduled
51m 53s main
main
51m 53s
Removing the snapshot and staging the build Build and test Steel #1528: Pull request #184 synchronize by mtzguido
11m 57s mtzguido:stage
mtzguido:stage
11m 57s
Steel nightly test Steel nightly test #548: Scheduled
37m 38s main
main
37m 38s
Removing the snapshot and staging the build Build and test Steel #1527: Pull request #184 synchronize by mtzguido
11m 3s mtzguido:stage
mtzguido:stage
11m 3s
Removing the snapshot and staging the build Build and test Steel #1526: Pull request #184 synchronize by mtzguido
11m 19s mtzguido:stage
mtzguido:stage
11m 19s
Removing the snapshot and staging the build Build and test Steel #1525: Pull request #184 synchronize by mtzguido
4m 23s mtzguido:stage
mtzguido:stage
4m 23s
Removing the snapshot and staging the build Build and test Steel #1524: Pull request #184 opened by mtzguido
1m 43s mtzguido:stage
mtzguido:stage
1m 43s
Steel nightly test Steel nightly test #547: Scheduled
48m 0s main
main
48m 0s
Steel nightly test Steel nightly test #546: Scheduled
42m 11s main
main
42m 11s
Steel nightly test Steel nightly test #545: Scheduled
37m 59s main
main
37m 59s
Merge pull request #182 from FStarLang/afromher_misc Build and test Steel #1523: Commit 30a310e pushed by R1kM
17m 20s main
main
17m 20s
Add mtime to list of ocaml packages in Nix build Build and test Steel #1522: Pull request #182 synchronize by mtzguido
51m 6s afromher_misc
afromher_misc
51m 6s
Merge branch 'main' into afromher_misc Build and test Steel #1521: Commit 48d4b34 pushed by mtzguido
34m 5s afromher_misc
afromher_misc
34m 5s
Merge pull request #183 from mtzguido/ocaml_version Build and test Steel #1520: Commit afbf599 pushed by mtzguido
17m 2s main
main
17m 2s
README/ci: bump OCaml version to 4.14, which is the current F* requir… Build and test Steel #1519: Pull request #183 opened by mtzguido
19m 32s mtzguido:ocaml_version
mtzguido:ocaml_version
19m 32s
ProTip! You can narrow down the results and go further in time using created:<2024-10-21 or the other filters available.