Skip to content

Actions: teorth/analysis

Actions

Compile blueprint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revert "Verso migration" Compile blueprint #53: Pull request #24 opened by teorth
June 6, 2025 15:08 9m 46s revert-23-verso-migration
revert-23-verso-migration
June 6, 2025 15:08 9m 46s
Merge pull request #22 from hansonchar/ci_on_pr Compile blueprint #52: Commit 3d91ad1 pushed by teorth
June 6, 2025 13:14 13m 28s main
main
June 6, 2025 13:14 13m 28s
Finish Section 5.4 Compile blueprint #51: Commit beec3cf pushed by teorth
June 6, 2025 02:34 12m 27s main
main
June 6, 2025 02:34 12m 27s
Runs minimum workflow upon pull_request Compile blueprint #50: Pull request #22 opened by hansonchar
June 5, 2025 17:44 9m 45s hansonchar:ci_on_pr
hansonchar:ci_on_pr
June 5, 2025 17:44 9m 45s
Merge branch 'main' of https://github.com/teorth/analysis Compile blueprint #49: Commit 409c31f pushed by teorth
June 5, 2025 14:22 12m 39s main
main
June 5, 2025 14:22 12m 39s
Merge pull request #21 from ldct/ldct-4-1 Compile blueprint #48: Commit b54591c pushed by teorth
June 5, 2025 14:18 4m 1s main
main
June 5, 2025 14:18 4m 1s
a bit more work on Sec 5.3 Compile blueprint #47: Commit 6992847 pushed by teorth
June 4, 2025 20:54 12m 12s main
main
June 4, 2025 20:54 12m 12s
more links Compile blueprint #46: Commit e85e50c pushed by teorth
June 4, 2025 15:23 19m 9s main
main
June 4, 2025 15:23 19m 9s
Merge branch 'main' of https://github.com/teorth/analysis Compile blueprint #45: Commit 87c9c73 pushed by teorth
June 4, 2025 15:18 5m 58s main
main
June 4, 2025 15:18 5m 58s
Merge pull request #18 from euprunin/fix-project-url Compile blueprint #44: Commit bff27c2 pushed by teorth
June 4, 2025 13:25 12m 33s main
main
June 4, 2025 13:25 12m 33s
Merge pull request #17 from euprunin/namespace-duplication Compile blueprint #43: Commit 9e2effb pushed by teorth
June 4, 2025 03:25 13m 47s main
main
June 4, 2025 03:25 13m 47s
Finish Section 5.3 Compile blueprint #42: Commit 7b80c3a pushed by teorth
June 4, 2025 03:25 44s main
main
June 4, 2025 03:25 44s
finish Lemma 5.3.15 Compile blueprint #41: Commit fa1b685 pushed by teorth
June 4, 2025 00:28 12m 13s main
main
June 4, 2025 00:28 12m 13s
more work on Section 5.3 Compile blueprint #40: Commit 01ff14e pushed by teorth
June 3, 2025 23:45 12m 36s main
main
June 3, 2025 23:45 12m 36s
add comment about classical logic Compile blueprint #39: Commit 51078e3 pushed by teorth
June 3, 2025 18:55 12m 45s main
main
June 3, 2025 18:55 12m 45s
slight tweaks Compile blueprint #38: Commit 35d2d56 pushed by teorth
June 3, 2025 17:02 12m 19s main
main
June 3, 2025 17:02 12m 19s
Merge branch 'main' of https://github.com/teorth/analysis Compile blueprint #37: Commit 7739d98 pushed by teorth
June 3, 2025 16:45 12m 27s main
main
June 3, 2025 16:45 12m 27s
Merge branch 'main' of https://github.com/teorth/analysis into main Compile blueprint #36: Commit 1c29672 pushed by teorth
June 3, 2025 06:51 36m 8s main
main
June 3, 2025 06:51 36m 8s
Merge pull request #14 from ldct/ldct-fix-type Compile blueprint #35: Commit 64e3427 pushed by teorth
June 3, 2025 06:39 12m 17s main
main
June 3, 2025 06:39 12m 17s
Merge pull request #15 from shuxuezhuyi/bump-Mathlib Compile blueprint #34: Commit c6fc4e7 pushed by teorth
June 3, 2025 06:36 2m 32s main
main
June 3, 2025 06:36 2m 32s
reorder lemmas in Section 2.3 Compile blueprint #33: Commit f5a7722 pushed by teorth
June 3, 2025 04:16 1m 52s main
main
June 3, 2025 04:16 1m 52s
Merge branch 'main' of https://github.com/teorth/analysis Compile blueprint #32: Commit fefed6e pushed by teorth
June 3, 2025 02:26 2m 12s main
main
June 3, 2025 02:26 2m 12s
Merge pull request #12 from shuxuezhuyi/bump-Mathlib Compile blueprint #31: Commit adecb58 pushed by teorth
June 3, 2025 02:26 39s main
main
June 3, 2025 02:26 39s
starting on addition of reals Compile blueprint #30: Commit 28d2a79 pushed by teorth
June 3, 2025 01:34 12m 5s main
main
June 3, 2025 01:34 12m 5s
Define real numbers (somewhat badly) Compile blueprint #29: Commit 54538a3 pushed by teorth
June 2, 2025 23:45 12m 5s main
main
June 2, 2025 23:45 12m 5s