Skip to content
Check style

TopLoc Proof Generation (#64) #229

Sign in to view logs

TopLoc Proof Generation (#64)

TopLoc Proof Generation (#64) #229

Triggered via push February 16, 2025 22:59
@Jackmin801Jackmin801
pushed 0744c4b
main
Status Success
Total duration 14s
Artifacts –

ruff.yml

on: push
ruff
6s
ruff
Fit to window
Zoom out
Zoom in