Skip to content

Actions: Trebor-Huang/model

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
82 workflow runs
82 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Restructure Render paper.pdf #85: Commit c3deb7c pushed by Trebor-Huang
29s main
main
29s
Stuff Render paper.pdf #84: Commit 9f69577 pushed by Trebor-Huang
2m 23s main
main
2m 23s
Canonicity Render paper.pdf #83: Commit 5dd8e1f pushed by Trebor-Huang
28s main
main
28s
Format Render paper.pdf #82: Commit 64452ac pushed by Trebor-Huang
24s main
main
24s
Chinese Render paper.pdf #81: Commit 93b811f pushed by Trebor-Huang
45s main
main
45s
Improve prose of exception model Render paper.pdf #80: Commit bd99e1f pushed by Trebor-Huang
23s main
main
23s
Syntactic model Render paper.pdf #79: Commit ccea3cf pushed by Trebor-Huang
24s main
main
24s
LF Render paper.pdf #78: Commit 5c694a1 pushed by Trebor-Huang
30s main
main
30s
Progress on LF Render paper.pdf #77: Commit 074189a pushed by Trebor-Huang
27s main
main
27s
Prepare LF Render paper.pdf #76: Commit 3fcbe46 pushed by Trebor-Huang
33s main
main
33s
Local universes Render paper.pdf #75: Commit 8204072 pushed by Trebor-Huang
24s main
main
24s
Tweak Render paper.pdf #74: Commit 24a7847 pushed by Trebor-Huang
21s main
main
21s
Prepare for coherence theorem Render paper.pdf #73: Commit 5b23e71 pushed by Trebor-Huang
24s main
main
24s
More tweaks Render paper.pdf #72: Commit 14660e2 pushed by Trebor-Huang
24s main
main
24s
Start PER Render paper.pdf #71: Commit a29b265 pushed by Trebor-Huang
23s main
main
23s
Progress on coherence Render paper.pdf #70: Commit 41b8aba pushed by Trebor-Huang
30s main
main
30s
Somehow there is another polynomial model Render paper.pdf #69: Commit 7e22de3 pushed by Trebor-Huang
52s main
main
52s
Emphasis on soundness Render paper.pdf #68: Commit 93c4396 pushed by Trebor-Huang
30s main
main
30s
Reshuffle Render paper.pdf #67: Commit 4c42291 pushed by Trebor-Huang
31s main
main
31s
Upgrade to 0.15.0 Render paper.pdf #66: Commit c0b36b3 pushed by Trebor-Huang
35s main
main
35s
Remark on split isofibrations Render paper.pdf #65: Commit d910823 pushed by Trebor-Huang
31s main
main
31s
Misc Render paper.pdf #64: Commit e1f68d5 pushed by Trebor-Huang
30s main
main
30s
Misc Render paper.pdf #63: Commit 1f5021e pushed by Trebor-Huang
29s main
main
29s
Start Church thesis Render paper.pdf #62: Commit fb7c55f pushed by Trebor-Huang
28s main
main
28s
Countable choice and Markov principle Render paper.pdf #61: Commit f188bd1 pushed by Trebor-Huang
32s main
main
32s