Skip to content

Actions: BerkeleyLearnVerify/Scenic

Actions

format

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-formatting.yml
874 workflow runs
874 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed subtle testing bug format #1228: Commit 54f4045 pushed by Eric-Vin
January 25, 2025 02:14 21s Scenic+Contracts
Scenic+Contracts
January 25, 2025 02:14 21s
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
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
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 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
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
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
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
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
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
Use zizmor to scan for GHA security problems format #1209: Pull request #320 synchronize by lola831
January 16, 2025 00:51 21s zizmor
zizmor
January 16, 2025 00:51 21s
Export GH_REF to ensure it's passed to SSH session format #1208: Commit 45f2e32 pushed by lola831
January 16, 2025 00:51 22s zizmor
zizmor
January 16, 2025 00:51 22s
Use zizmor to scan for GHA security problems format #1207: Pull request #320 synchronize by lola831
January 16, 2025 00:27 27s zizmor
zizmor
January 16, 2025 00:27 27s
Refactor to pass GH_REF directly via SSH format #1206: Commit ea2f451 pushed by lola831
January 16, 2025 00:27 24s zizmor
zizmor
January 16, 2025 00:27 24s
Use zizmor to scan for GHA security problems format #1205: Pull request #320 synchronize by lola831
January 15, 2025 20:24 28s zizmor
zizmor
January 15, 2025 20:24 28s
Remove debugging echo statements format #1204: Commit 27538d8 pushed by lola831
January 15, 2025 20:24 23s zizmor
zizmor
January 15, 2025 20:24 23s