Skip to content

Actions: FStarLang/steel

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Steel nightly test Steel nightly test #621: Scheduled
January 5, 2025 23:20 23m 14s main
main
January 5, 2025 23:20 23m 14s
Steel nightly test Steel nightly test #620: Scheduled
January 4, 2025 23:20 22m 17s main
main
January 4, 2025 23:20 22m 17s
Steel nightly test Steel nightly test #619: Scheduled
January 3, 2025 23:20 24m 46s main
main
January 3, 2025 23:20 24m 46s
Steel nightly test Steel nightly test #618: Scheduled
January 2, 2025 23:20 27m 3s main
main
January 2, 2025 23:20 27m 3s
Steel nightly test Steel nightly test #617: Scheduled
January 1, 2025 23:20 26m 52s main
main
January 1, 2025 23:20 26m 52s
Steel nightly test Steel nightly test #616: Scheduled
December 31, 2024 23:20 23m 39s main
main
December 31, 2024 23:20 23m 39s
Merge pull request #186 from mtzguido/fix Build and test Steel #1534: Commit 9d7ecfc pushed by mtzguido
December 31, 2024 21:55 20m 15s main
main
December 31, 2024 21:55 20m 15s
Makefiles: introduce locate_fstar.mk, avoid use of which Build and test Steel #1533: Pull request #186 synchronize by mtzguido
December 31, 2024 21:22 32m 40s mtzguido:fix
mtzguido:fix
December 31, 2024 21:22 32m 40s
Makefiles: introduce locate_fstar.mk, avoid use of which Build and test Steel #1532: Pull request #186 opened by mtzguido
December 31, 2024 20:13 6m 32s mtzguido:fix
mtzguido:fix
December 31, 2024 20:13 6m 32s
Steel nightly test Steel nightly test #615: Scheduled
December 30, 2024 23:20 13m 5s main
main
December 30, 2024 23:20 13m 5s
Steel nightly test Steel nightly test #614: Scheduled
December 29, 2024 23:20 11m 38s main
main
December 29, 2024 23:20 11m 38s
Steel nightly test Steel nightly test #613: Scheduled
December 28, 2024 23:20 13m 23s main
main
December 28, 2024 23:20 13m 23s
Steel nightly test Steel nightly test #612: Scheduled
December 27, 2024 23:20 21m 13s main
main
December 27, 2024 23:20 21m 13s