.github/workflows/push.yml

Cleanup `Psi.lean` (#483) #794

Sign in to view logs

Triggered via push August 4, 2025 14:06

fpvandoorn

master

Status Success

Total duration 44m 47s

Artifacts –

push.yml

on: push

⚡