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