Skip to content

Actions: aconite-ac/theorem_proving_in_lean4

Actions

mdbook test using latest lean4 bits

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
This workflow was disabled manually.
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

表記を微修正 mdbook test using latest lean4 bits #1: Commit 947b4ff pushed by aconite-ac
March 28, 2024 06:00 1m 8s master
master
March 28, 2024 06:00 1m 8s