Skip to content
Awaiting Review

FRONTEND: Use CI to auto-generate a Hasse diagram of the equations in Equations.lean, and display this image in README.md and blueprint #11

Sign in to view logs

FRONTEND: Use CI to auto-generate a Hasse diagram of the equations in Equations.lean, and display this image in README.md and blueprint

FRONTEND: Use CI to auto-generate a Hasse diagram of the equations in Equations.lean, and display this image in README.md and blueprint #11

Triggered via issue October 2, 2024 18:24
@teorthteorth
commented on #183 772488b
Status Skipped
Total duration 2s
Artifacts –

05-awaiting-review.yml

on: issue_comment
awaiting_review
0s
awaiting_review
Fit to window
Zoom out
Zoom in