Skip to content

Actions: FStarLang/steel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,082 workflow runs
1,082 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Steel nightly test Steel nightly test #629: Scheduled
January 13, 2025 23:20 18m 16s main
main
January 13, 2025 23:20 18m 16s
Steel CI Steel CI #11: Scheduled
January 13, 2025 02:56 38m 40s main
main
January 13, 2025 02:56 38m 40s
Steel nightly test Steel nightly test #628: Scheduled
January 12, 2025 23:20 43m 51s main
main
January 12, 2025 23:20 43m 51s
Steel CI Steel CI #10: Scheduled
January 12, 2025 02:58 38m 33s main
main
January 12, 2025 02:58 38m 33s
Steel nightly test Steel nightly test #627: Scheduled
January 11, 2025 23:20 31m 29s main
main
January 11, 2025 23:20 31m 29s
Steel CI Steel CI #9: Scheduled
January 11, 2025 02:51 38m 28s main
main
January 11, 2025 02:51 38m 28s
Steel nightly test Steel nightly test #626: Scheduled
January 10, 2025 23:21 32m 59s main
main
January 10, 2025 23:21 32m 59s
Steel CI Steel CI #8: Scheduled
January 10, 2025 02:54 38m 48s main
main
January 10, 2025 02:54 38m 48s
Steel nightly test Steel nightly test #625: Scheduled
January 9, 2025 23:22 33m 21s main
main
January 9, 2025 23:22 33m 21s
Merge pull request #190 from mtzguido/ci Steel CI #7: Commit a2c0c09 pushed by mtzguido
January 9, 2025 19:51 22m 39s main
main
January 9, 2025 19:51 22m 39s
ci: schedule nightly job too Steel CI #6: Pull request #190 opened by mtzguido
January 9, 2025 19:12 38m 50s mtzguido:ci
mtzguido:ci
January 9, 2025 19:12 38m 50s
Merge pull request #188 from mtzguido/ci Steel CI #5: Commit 1952c37 pushed by mtzguido
January 9, 2025 19:10 42m 59s main
main
January 9, 2025 19:10 42m 59s
New Github actions CI Steel CI #4: Pull request #188 synchronize by mtzguido
January 9, 2025 18:38 22m 19s mtzguido:ci
mtzguido:ci
January 9, 2025 18:38 22m 19s
New Github actions CI Steel CI #3: Pull request #188 synchronize by mtzguido
January 9, 2025 16:04 39m 18s mtzguido:ci
mtzguido:ci
January 9, 2025 16:04 39m 18s
Merge pull request #189 from mtzguido/no_home Build and test Steel #1540: Commit a27e2ce pushed by mtzguido
January 9, 2025 07:48 21m 6s main
main
January 9, 2025 07:48 21m 6s
No FSTAR_HOME Build and test Steel #1539: Pull request #189 opened by mtzguido
January 9, 2025 07:11 21m 59s mtzguido:no_home
mtzguido:no_home
January 9, 2025 07:11 21m 59s
Merge pull request #187 from mtzguido/dev Build and test Steel #1538: Commit 40f16c0 pushed by mtzguido
January 9, 2025 06:55 13m 24s main
main
January 9, 2025 06:55 13m 24s
plugin: use fstar.pluginlib Build and test Steel #1537: Pull request #187 synchronize by mtzguido
January 9, 2025 06:42 12m 40s mtzguido:dev
mtzguido:dev
January 9, 2025 06:42 12m 40s
Steel nightly test Steel nightly test #624: Scheduled
January 8, 2025 23:20 10m 4s main
main
January 8, 2025 23:20 10m 4s
New Github actions CI Steel CI #2: Pull request #188 synchronize by mtzguido
January 8, 2025 08:40 23m 59s mtzguido:ci
mtzguido:ci
January 8, 2025 08:40 23m 59s
New Github actions CI Steel CI #1: Pull request #188 opened by mtzguido
January 8, 2025 08:06 5m 55s mtzguido:ci
mtzguido:ci
January 8, 2025 08:06 5m 55s
plugin: use fstar.pluginlib Build and test Steel #1536: Commit 0a71353 pushed by mtzguido
January 8, 2025 07:00 5m 40s dev
dev
January 8, 2025 07:00 5m 40s
Steel nightly test Steel nightly test #623: Scheduled
January 7, 2025 23:20 24m 1s main
main
January 7, 2025 23:20 24m 1s
Steel nightly test Steel nightly test #622: Scheduled
January 6, 2025 23:21 26m 15s main
main
January 6, 2025 23:21 26m 15s
plugin: use fstar.pluginlib Build and test Steel #1535: Pull request #187 opened by mtzguido
January 6, 2025 08:08 1m 10s mtzguido:dev
mtzguido:dev
January 6, 2025 08:08 1m 10s