Skip to content

Actions: BerkeleyLearnVerify/Scenic

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Use zizmor to scan for GHA security problems format #1218: Pull request #320 synchronize by lola831
January 16, 2025 17:48 25s zizmor
zizmor
January 16, 2025 17:48 25s
Add export for GH_REF to pass via SSH format #1217: Commit 457b434 pushed by lola831
January 16, 2025 17:48 25s zizmor
zizmor
January 16, 2025 17:48 25s
run_simulators run_simulators #49: Manually run by lola831
January 16, 2025 17:36 9m 8s zizmor
zizmor
January 16, 2025 17:36 9m 8s
Use zizmor to scan for GHA security problems tests #668: Pull request #320 synchronize by lola831
January 16, 2025 17:36 11m 55s zizmor
zizmor
January 16, 2025 17:36 11m 55s
Use zizmor to scan for GHA security problems GitHub Actions Security Analysis with zizmor 🌈 #14: Pull request #320 synchronize by lola831
January 16, 2025 17:35 40s zizmor
zizmor
January 16, 2025 17:35 40s
Use zizmor to scan for GHA security problems run_coverage #358: Pull request #320 synchronize by lola831
January 16, 2025 17:35 20m 28s zizmor
zizmor
January 16, 2025 17:35 20m 28s
Use zizmor to scan for GHA security problems format #1216: Pull request #320 synchronize by lola831
January 16, 2025 17:35 29s zizmor
zizmor
January 16, 2025 17:35 29s
Test: Apply changes to SSH config and verify format #1215: Commit b6eb5df pushed by lola831
January 16, 2025 17:35 29s zizmor
zizmor
January 16, 2025 17:35 29s
run_simulators run_simulators #48: Manually run by lola831
January 16, 2025 16:33 9m 45s zizmor
zizmor
January 16, 2025 16:33 9m 45s
Use zizmor to scan for GHA security problems tests #667: Pull request #320 synchronize by lola831
January 16, 2025 16:32 15m 25s zizmor
zizmor
January 16, 2025 16:32 15m 25s
Use zizmor to scan for GHA security problems GitHub Actions Security Analysis with zizmor 🌈 #13: Pull request #320 synchronize by lola831
January 16, 2025 16:32 40s zizmor
zizmor
January 16, 2025 16:32 40s
Use zizmor to scan for GHA security problems run_coverage #357: Pull request #320 synchronize by lola831
January 16, 2025 16:32 19m 44s zizmor
zizmor
January 16, 2025 16:32 19m 44s