Skip to content

Actions: JonBannon/Junk-Test

Actions

Compile blueprint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
91 workflow runs
91 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

minor blip
Compile blueprint #109: Commit 30eccac pushed by JonBannon
7m 31s master
mess with leanblueprint all
Compile blueprint #108: Commit 271beb0 pushed by JonBannon
6m 45s master
Don't get it
Compile blueprint #107: Commit 7d561e3 pushed by JonBannon
6m 10s master
Trying to get lemma to hover
Compile blueprint #106: Commit 1546ecf pushed by JonBannon
6m 27s master
proof?
Compile blueprint #105: Commit af839a2 pushed by JonBannon
6m 44s master
Proof placeholders
Compile blueprint #104: Commit 5a5d30d pushed by JonBannon
6m 35s master
Typo
Compile blueprint #103: Commit e820792 pushed by JonBannon
12m 17s master
Should work now
Compile blueprint #102: Commit 3c8746b pushed by JonBannon
6m 52s master
Missed one
Compile blueprint #101: Commit a83055d pushed by JonBannon
8m 27s master
This should hopefully work now
Compile blueprint #100: Commit e3cfa52 pushed by JonBannon
6m 9s master
Trying to get rid of tex errors
Compile blueprint #99: Commit 0c6613c pushed by JonBannon
6m 14s master
more gunk
Compile blueprint #98: Commit 61619a8 pushed by JonBannon
6m 11s master
yml error
Compile blueprint #97: Commit ac70c47 pushed by JonBannon
6m 23s master
tried to fix build
Compile blueprint #96: Commit 7c8544d pushed by JonBannon
Failure master
rename back to DoubleCommutant
Compile blueprint #95: Commit c5d7e41 pushed by JonBannon
6m 4s master
put blueprint.yml back
Compile blueprint #94: Commit ab51202 pushed by JonBannon
1m 31s master
trying to find the deployment...
Compile blueprint #93: Commit 5121858 pushed by JonBannon
1m 15s master
removed extra letter...
Compile blueprint #92: Commit a44a4f9 pushed by JonBannon
1m 26s master
Create jekyll-gh-pages.yml
Compile blueprint #91: Commit 16f52f9 pushed by JonBannon
1m 16s master
more
Compile blueprint #90: Commit 45ac662 pushed by JonBannon
1m 16s master
rename
Compile blueprint #89: Commit c44b8a3 pushed by JonBannon
1m 15s master
Update README.md
Compile blueprint #88: Commit f9b0050 pushed by JonBannon
5m 35s master
Create static.yml
Compile blueprint #86: Commit 70da5a4 pushed by JonBannon
5m 28s master