Skip to content

Actions: BerkeleyLearnVerify/Scenic

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated relative speed contract and STF. format #1227: Commit 64cf0a0 pushed by Eric-Vin
January 23, 2025 02:51 20s Scenic+Contracts
Scenic+Contracts
January 23, 2025 02:51 20s
on_call_reminder on_call_reminder #41: Scheduled
January 22, 2025 17:12 17s main
main
January 22, 2025 17:12 17s
Use zizmor to scan for GHA security problems (#320) tests #672: Commit 8495cc9 pushed by lola831
January 22, 2025 01:06 17m 31s main
main
January 22, 2025 01:06 17m 31s
Use zizmor to scan for GHA security problems (#320) run_coverage #362: Commit 8495cc9 pushed by lola831
January 22, 2025 01:06 19m 56s main
main
January 22, 2025 01:06 19m 56s
Use zizmor to scan for GHA security problems (#320) GitHub Actions Security Analysis with zizmor 🌈 #17: Commit 8495cc9 pushed by lola831
January 22, 2025 01:06 34s main
main
January 22, 2025 01:06 34s
Use zizmor to scan for GHA security problems (#320) format #1226: Commit 8495cc9 pushed by lola831
January 22, 2025 01:06 24s main
main
January 22, 2025 01:06 24s
Working Lean Refinement Proof dump format #1225: Commit f7dd545 pushed by Eric-Vin
January 22, 2025 00:43 21s Scenic+Contracts
Scenic+Contracts
January 22, 2025 00:43 21s
run_simulators run_simulators #53: Manually run by lola831
January 21, 2025 20:16 26m 57s zizmor
zizmor
January 21, 2025 20:16 26m 57s
run_simulators run_simulators #52: Manually run by lola831
January 21, 2025 19:25 29m 14s zizmor
zizmor
January 21, 2025 19:25 29m 14s
Use zizmor to scan for GHA security problems tests #671: Pull request #320 synchronize by lola831
January 21, 2025 19:24 14m 52s zizmor
zizmor
January 21, 2025 19:24 14m 52s
Use zizmor to scan for GHA security problems run_coverage #361: Pull request #320 synchronize by lola831
January 21, 2025 19:24 19m 42s zizmor
zizmor
January 21, 2025 19:24 19m 42s
Use zizmor to scan for GHA security problems GitHub Actions Security Analysis with zizmor 🌈 #16: Pull request #320 synchronize by lola831
January 21, 2025 19:24 42s zizmor
zizmor
January 21, 2025 19:24 42s
Use zizmor to scan for GHA security problems format #1224: Pull request #320 synchronize by lola831
January 21, 2025 19:24 28s zizmor
zizmor
January 21, 2025 19:24 28s
Update run-simulators.yml format #1223: Commit a7177b8 pushed by lola831
January 21, 2025 19:24 28s zizmor
zizmor
January 21, 2025 19:24 28s
More progress on Lean dump format #1222: Commit d5d5f80 pushed by Eric-Vin
January 21, 2025 06:05 22s Scenic+Contracts
Scenic+Contracts
January 21, 2025 06:05 22s
Cleaned up spec creation format #1221: Commit 748a76c pushed by Eric-Vin
January 20, 2025 23:57 24s Scenic+Contracts
Scenic+Contracts
January 20, 2025 23:57 24s
Various optimizations tests #670: Pull request #319 synchronize by dfremont
January 18, 2025 22:18 9m 1s dfremont_optimizations
dfremont_optimizations
January 18, 2025 22:18 9m 1s
Various optimizations run_coverage #360: Pull request #319 synchronize by dfremont
January 18, 2025 22:18 19m 23s dfremont_optimizations
dfremont_optimizations
January 18, 2025 22:18 19m 23s
Various optimizations format #1220: Pull request #319 synchronize by dfremont
January 18, 2025 22:18 23s dfremont_optimizations
dfremont_optimizations
January 18, 2025 22:18 23s
Merge branch 'main' into dfremont_optimizations format #1219: Commit 9352f85 pushed by dfremont
January 18, 2025 22:18 27s dfremont_optimizations
dfremont_optimizations
January 18, 2025 22:18 27s
run_simulators run_simulators #51: Manually run by lola831
January 16, 2025 19:52 9m 29s zizmor
zizmor
January 16, 2025 19:52 9m 29s
run_simulators run_simulators #50: Manually run by lola831
January 16, 2025 17:49 8m 33s zizmor
zizmor
January 16, 2025 17:49 8m 33s
Use zizmor to scan for GHA security problems tests #669: Pull request #320 synchronize by lola831
January 16, 2025 17:48 14m 44s zizmor
zizmor
January 16, 2025 17:48 14m 44s
Use zizmor to scan for GHA security problems run_coverage #359: Pull request #320 synchronize by lola831
January 16, 2025 17:48 19m 55s zizmor
zizmor
January 16, 2025 17:48 19m 55s
Use zizmor to scan for GHA security problems GitHub Actions Security Analysis with zizmor 🌈 #15: Pull request #320 synchronize by lola831
January 16, 2025 17:48 49s zizmor
zizmor
January 16, 2025 17:48 49s