.github/workflows/push.yml

Proof of revised Lemma 6.3.4 (#427) #749

Sign in to view logs

Triggered via push July 14, 2025 11:56

fpvandoorn

master

Status Success

Total duration 45m 20s

Artifacts –

push.yml

on: push

⚡