Skip to content

Actions: mo271/FormalBook

Actions

Compile blueprint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
blueprint.yml
136 workflow runs
136 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump actions/checkout from 2 to 4 Compile blueprint #11: Commit cba4648 pushed by mo271
September 20, 2024 12:29 7m 18s main
main
September 20, 2024 12:29 7m 18s
remove lakefile Compile blueprint #10: Commit 3b58242 pushed by mo271
September 20, 2024 12:04 23m 36s main
main
September 20, 2024 12:04 23m 36s
bump mathlib Compile blueprint #9: Commit 3162a7f pushed by mo271
September 18, 2024 12:13 23m 52s main
main
September 18, 2024 12:13 23m 52s
test files for blueprint (#58) Compile blueprint #8: Commit 6fbe8c2 pushed by mo271
May 14, 2024 13:58 7m 14s main
main
May 14, 2024 13:58 7m 14s
Rename all chapters (#57) Compile blueprint #7: Commit 9353586 pushed by mo271
May 14, 2024 11:36 18m 47s main
main
May 14, 2024 11:36 18m 47s
bump mathlib (#56) Compile blueprint #6: Commit 36d807d pushed by mo271
May 14, 2024 09:33 14m 54s main
main
May 14, 2024 09:33 14m 54s
Ch. 1: prove monotone_primeCountingReal (#55) Compile blueprint #5: Commit 57e5bef pushed by mo271
May 4, 2024 19:59 14m 10s main
main
May 4, 2024 19:59 14m 10s
Ch01, proof 4: state subgoals (#54) Compile blueprint #4: Commit c8b681a pushed by mo271
May 4, 2024 18:26 15m 30s main
main
May 4, 2024 18:26 15m 30s
Ch01: add lemma for proof 4 (#53) Compile blueprint #3: Commit c1fe976 pushed by mo271
May 4, 2024 07:44 14m 6s main
main
May 4, 2024 07:44 14m 6s
make doc4-gen dependency unconditional Compile blueprint #2: Commit d489678 pushed by mo271
April 21, 2024 12:45 14m 21s main
main
April 21, 2024 12:45 14m 21s
Setup blueprint (#51) Compile blueprint #1: Commit 28bc370 pushed by mo271
April 21, 2024 12:19 1m 40s main
main
April 21, 2024 12:19 1m 40s