Skip to content

Actions: FStarLang/steel

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

a temporary admit in an old file; the admit is unneeded with context_… Build and test Steel #1501: Commit 87c0104 pushed by nikswamy
September 4, 2024 22:05 18m 15s nik_temp_admit
nik_temp_admit
September 4, 2024 22:05 18m 15s
Steel nightly test Steel nightly test #497: Scheduled
September 3, 2024 23:21 11m 57s main
main
September 3, 2024 23:21 11m 57s
Steel nightly test Steel nightly test #496: Scheduled
September 2, 2024 23:21 1m 32s main
main
September 2, 2024 23:21 1m 32s
Steel nightly test Steel nightly test #495: Scheduled
September 1, 2024 23:19 1m 32s main
main
September 1, 2024 23:19 1m 32s
Steel nightly test Steel nightly test #494: Scheduled
August 31, 2024 23:19 1m 32s main
main
August 31, 2024 23:19 1m 32s
Steel nightly test Steel nightly test #493: Scheduled
August 30, 2024 23:21 1m 31s main
main
August 30, 2024 23:21 1m 31s
Steel nightly test Steel nightly test #492: Scheduled
August 29, 2024 23:20 1m 34s main
main
August 29, 2024 23:20 1m 34s
Steel nightly test Steel nightly test #491: Scheduled
August 28, 2024 23:21 1m 42s main
main
August 28, 2024 23:21 1m 42s
Steel nightly test Steel nightly test #490: Scheduled
August 27, 2024 23:20 24m 47s main
main
August 27, 2024 23:20 24m 47s
Merge pull request #177 from mtzguido/defer_to_attr Build and test Steel #1500: Commit 61cae16 pushed by mtzguido
August 27, 2024 19:03 9m 27s main
main
August 27, 2024 19:03 9m 27s
All: use defer_to for binders marked framing_implicit Build and test Steel #1499: Pull request #177 opened by mtzguido
August 27, 2024 00:18 10m 26s mtzguido:defer_to_attr
mtzguido:defer_to_attr
August 27, 2024 00:18 10m 26s
Steel nightly test Steel nightly test #489: Scheduled
August 26, 2024 23:20 23m 41s main
main
August 26, 2024 23:20 23m 41s
Merge pull request #176 from FStarLang/guido_ci Build and test Steel #1498: Commit 7fae26c pushed by mtzguido
August 26, 2024 04:06 9m 50s main
main
August 26, 2024 04:06 9m 50s
fixing missing packages in opam CI Build and test Steel #1497: Pull request #176 opened by mtzguido
August 26, 2024 00:19 12m 35s guido_ci
guido_ci
August 26, 2024 00:19 12m 35s
fixing missing packages in opam CI Build and test Steel #1496: Commit 0b6bf24 pushed by mtzguido
August 25, 2024 23:58 12m 30s guido_ci
guido_ci
August 25, 2024 23:58 12m 30s
Steel nightly test Steel nightly test #488: Scheduled
August 25, 2024 23:19 21m 32s main
main
August 25, 2024 23:19 21m 32s
Merge pull request #175 from mtzguido/actions Build and test Steel #1495: Commit 79ec5c7 pushed by mtzguido
August 25, 2024 01:57 9m 18s main
main
August 25, 2024 01:57 9m 18s
actions Build and test Steel #1494: Pull request #175 synchronize by mtzguido
August 25, 2024 01:39 9m 24s mtzguido:actions
mtzguido:actions
August 25, 2024 01:39 9m 24s
actions Build and test Steel #1493: Pull request #175 opened by mtzguido
August 24, 2024 23:50 7m 19s mtzguido:actions
mtzguido:actions
August 24, 2024 23:50 7m 19s
Steel nightly test Steel nightly test #487: Scheduled
August 24, 2024 23:19 1m 53s main
main
August 24, 2024 23:19 1m 53s
Steel nightly test Steel nightly test #486: Scheduled
August 23, 2024 23:19 2m 0s main
main
August 23, 2024 23:19 2m 0s
Steel nightly test Steel nightly test #485: Scheduled
August 22, 2024 23:20 1m 58s main
main
August 22, 2024 23:20 1m 58s
Steel nightly test Steel nightly test #484: Scheduled
August 21, 2024 23:19 1m 55s main
main
August 21, 2024 23:19 1m 55s
Steel nightly test Steel nightly test #483: Scheduled
August 20, 2024 23:21 1m 50s main
main
August 20, 2024 23:21 1m 50s
Steel nightly test Steel nightly test #482: Scheduled
August 19, 2024 23:21 4m 0s main
main
August 19, 2024 23:21 4m 0s