Skip to content

Actions: mo271/formal_book

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
95 workflow runs
95 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
test files for blueprint (#58) .github/workflows/lean_build.yml #134: Commit 6fbe8c2 pushed by mo271
May 14, 2024 13:58 2m 10s main
main
May 14, 2024 13:58 2m 10s
test files for blueprint (#58) .github/workflows/blueprint.yml #8: Commit 6fbe8c2 pushed by mo271
May 14, 2024 13:58 7m 14s main
main
May 14, 2024 13:58 7m 14s
test files for blueprint .github/workflows/lean_build.yml #133: Pull request #58 opened by mo271
May 14, 2024 13:54 1m 39s blueprint_test
blueprint_test
May 14, 2024 13:54 1m 39s
test files for blueprint .github/workflows/lean_build.yml #132: Commit 6787d0b pushed by mo271
May 14, 2024 13:54 1m 37s blueprint_test
blueprint_test
May 14, 2024 13:54 1m 37s
test files for blueprint .github/workflows/lean_build.yml #131: Commit dd1b48f pushed by mo271
May 14, 2024 13:53 1m 50s blueprint_test
blueprint_test
May 14, 2024 13:53 1m 50s
test files for blueprint .github/workflows/lean_build.yml #130: Commit b535750 pushed by mo271
May 14, 2024 13:49 1m 39s blueprint_test
blueprint_test
May 14, 2024 13:49 1m 39s
Rename all chapters (#57) .github/workflows/blueprint.yml #7: Commit 9353586 pushed by mo271
May 14, 2024 11:36 18m 47s main
main
May 14, 2024 11:36 18m 47s
Rename all chapters (#57) .github/workflows/lean_build.yml #129: Commit 9353586 pushed by mo271
May 14, 2024 11:36 1m 48s main
main
May 14, 2024 11:36 1m 48s
Rename all chapters .github/workflows/lean_build.yml #128: Pull request #57 opened by mo271
May 14, 2024 11:15 1m 47s rename_chapters
rename_chapters
May 14, 2024 11:15 1m 47s
Rename all chapters .github/workflows/lean_build.yml #127: Commit 17c264d pushed by mo271
May 14, 2024 11:14 1m 37s rename_chapters
rename_chapters
May 14, 2024 11:14 1m 37s
bump mathlib (#56) .github/workflows/lean_build.yml #126: Commit 36d807d pushed by mo271
May 14, 2024 09:33 1m 47s main
main
May 14, 2024 09:33 1m 47s
bump mathlib (#56) .github/workflows/blueprint.yml #6: Commit 36d807d pushed by mo271
May 14, 2024 09:33 14m 54s main
main
May 14, 2024 09:33 14m 54s
bump mathlib .github/workflows/lean_build.yml #125: Pull request #56 opened by mo271
May 14, 2024 09:31 1m 53s bump_mathlib_4.8
bump_mathlib_4.8
May 14, 2024 09:31 1m 53s
bump mathlib .github/workflows/lean_build.yml #124: Commit 0876dc6 pushed by mo271
May 14, 2024 09:30 1m 38s bump_mathlib_4.8
bump_mathlib_4.8
May 14, 2024 09:30 1m 38s
Ch. 1: prove monotone_primeCountingReal (#55) .github/workflows/lean_build.yml #123: Commit 57e5bef pushed by mo271
May 4, 2024 19:59 1m 43s main
main
May 4, 2024 19:59 1m 43s
Ch. 1: prove monotone_primeCountingReal (#55) .github/workflows/blueprint.yml #5: Commit 57e5bef pushed by mo271
May 4, 2024 19:59 14m 10s main
main
May 4, 2024 19:59 14m 10s
Ch. 1: prove monotone_primeCountingReal .github/workflows/lean_build.yml #122: Pull request #55 opened by mo271
May 4, 2024 18:54 1m 53s ch1_proof4
ch1_proof4
May 4, 2024 18:54 1m 53s
Ch. 1: prove monotone_primeCountingReal .github/workflows/lean_build.yml #121: Commit d981732 pushed by mo271
May 4, 2024 18:53 1m 45s ch1_proof4
ch1_proof4
May 4, 2024 18:53 1m 45s
Ch01, proof 4: state subgoals (#54) .github/workflows/blueprint.yml #4: Commit c8b681a pushed by mo271
May 4, 2024 18:26 15m 30s main
main
May 4, 2024 18:26 15m 30s
Ch01, proof 4: state subgoals (#54) .github/workflows/lean_build.yml #120: Commit c8b681a pushed by mo271
May 4, 2024 18:26 1m 52s main
main
May 4, 2024 18:26 1m 52s
Ch01, proof 4: state subgoals .github/workflows/lean_build.yml #119: Pull request #54 synchronize by rwst
May 4, 2024 17:32 1m 43s rwst:ch01_state_subgoal
rwst:ch01_state_subgoal
May 4, 2024 17:32 1m 43s
Ch01, proof 4: state subgoals .github/workflows/lean_build.yml #118: Pull request #54 opened by rwst
May 4, 2024 17:03 1m 53s rwst:ch01_state_subgoal
rwst:ch01_state_subgoal
May 4, 2024 17:03 1m 53s
Ch01: add lemma for proof 4 (#53) .github/workflows/blueprint.yml #3: Commit c1fe976 pushed by mo271
May 4, 2024 07:44 14m 6s main
main
May 4, 2024 07:44 14m 6s
Ch01: add lemma for proof 4 (#53) .github/workflows/lean_build.yml #117: Commit c1fe976 pushed by mo271
May 4, 2024 07:44 1m 46s main
main
May 4, 2024 07:44 1m 46s
Ch01: add lemma for proof 4 .github/workflows/lean_build.yml #116: Pull request #53 synchronize by rwst
May 4, 2024 07:28 1m 53s rwst:ch01_another_lemma_03
rwst:ch01_another_lemma_03
May 4, 2024 07:28 1m 53s