Skip to content

Actions: BerkeleyLearnVerify/Scenic

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Use zizmor to scan for GHA security problems format #1214: Pull request #320 synchronize by lola831
January 16, 2025 16:32 29s zizmor
zizmor
January 16, 2025 16:32 29s
Rename env variable from GH_REF to GH_WORKFLOW_REF format #1213: Commit 79dd756 pushed by lola831
January 16, 2025 16:32 25s zizmor
zizmor
January 16, 2025 16:32 25s
run_simulators run_simulators #47: Manually run by lola831
January 16, 2025 03:14 8m 41s zizmor
zizmor
January 16, 2025 03:14 8m 41s
Use zizmor to scan for GHA security problems tests #666: Pull request #320 synchronize by lola831
January 16, 2025 03:14 5m 35s zizmor
zizmor
January 16, 2025 03:14 5m 35s
Use zizmor to scan for GHA security problems run_coverage #356: Pull request #320 synchronize by lola831
January 16, 2025 03:14 19m 32s zizmor
zizmor
January 16, 2025 03:14 19m 32s
Use zizmor to scan for GHA security problems format #1212: Pull request #320 synchronize by lola831
January 16, 2025 03:14 22s zizmor
zizmor
January 16, 2025 03:14 22s
Use zizmor to scan for GHA security problems GitHub Actions Security Analysis with zizmor 🌈 #12: Pull request #320 synchronize by lola831
January 16, 2025 03:14 33s zizmor
zizmor
January 16, 2025 03:14 33s
Fix export GH_REF format #1211: Commit cccd942 pushed by lola831
January 16, 2025 03:13 26s zizmor
zizmor
January 16, 2025 03:13 26s
Added manual refinement framework format #1210: Commit 0e993af pushed by Eric-Vin
January 16, 2025 02:10 25s Scenic+Contracts
Scenic+Contracts
January 16, 2025 02:10 25s
run_simulators run_simulators #46: Manually run by lola831
January 16, 2025 00:52 9m 13s zizmor
zizmor
January 16, 2025 00:52 9m 13s