Skip to content

Actions: FStarLang/steel

Actions

Steel CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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