Skip to content

Actions: teorth/estimate_tools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
58 workflow runs
58 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update links Compile blueprint #58: Commit baf6cd9 pushed by teorth
25m 10s master
master
25m 10s
updated README Compile blueprint #57: Commit 3992176 pushed by teorth
24m 54s master
master
24m 54s
add link to project installation instructions Compile blueprint #56: Commit 9fce782 pushed by teorth
7m 3s master
master
7m 3s
Finish Section 4.1 Compile blueprint #55: Commit d5839de pushed by teorth
26m 5s master
master
26m 5s
fix another typo Compile blueprint #54: Commit abd92f8 pushed by teorth
25m 22s master
master
25m 22s
fix compilation error Compile blueprint #53: Commit bd6d99f pushed by teorth
2m 1s master
master
2m 1s
use paraphrasing and references rather than direct quotes from textbook Compile blueprint #52: Commit acdc3cb pushed by teorth
2m 3s master
master
2m 3s
update links Compile blueprint #51: Commit 8f5928e pushed by teorth
25m 14s master
master
25m 14s
fix typo Compile blueprint #50: Commit 3868845 pushed by teorth
24m 59s master
master
24m 59s
add imports Compile blueprint #49: Commit bbc5788 pushed by teorth
1m 49s master
master
1m 49s
add epilogue Compile blueprint #48: Commit f9dd91a pushed by teorth
8m 53s master
master
8m 53s
Finish Section 2.3 Compile blueprint #47: Commit aca8569 pushed by teorth
13m 44s master
master
13m 44s
Finish Section 2.2 Compile blueprint #46: Commit 130370c pushed by teorth
13m 31s master
master
13m 31s
null Compile blueprint #45: Commit d79500c pushed by teorth
14m 14s master
master
14m 14s
prove saturation Compile blueprint #44: Commit 720843c pushed by teorth
13m 47s master
master
13m 47s
null Compile blueprint #43: Commit b737a96 pushed by teorth
13m 24s master
master
13m 24s
null Compile blueprint #42: Commit 93ced41 pushed by teorth
13m 58s master
master
13m 58s
leanok, fill sorry Compile blueprint #41: Commit 51d28a6 pushed by teorth
13m 24s master
master
13m 24s
golf Compile blueprint #40: Commit fcd8099 pushed by teorth
13m 44s master
master
13m 44s
add mathlib proofs for completeness Compile blueprint #39: Commit 0e04459 pushed by teorth
1m 36s master
master
1m 36s
limits file Compile blueprint #38: Commit 174f558 pushed by teorth
13m 27s master
master
13m 27s
remove Canonical import Compile blueprint #37: Commit 25d4ff8 pushed by teorth
13m 35s master
master
13m 35s
converted superpositions to comments Compile blueprint #36: Commit 1350607 pushed by teorth
13m 16s master
master
13m 16s
650-448 test Compile blueprint #35: Commit d100b1d pushed by teorth
13m 37s master
master
13m 37s
some lemmas Compile blueprint #34: Commit bcdbae0 pushed by teorth
14m 6s master
master
14m 6s