Skip to content

Actions: Trebor-Huang/model

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Pi types Render paper.pdf #55: Commit 9d1d791 pushed by Trebor-Huang
24s main
main
24s
More on display maps Render paper.pdf #54: Commit 0fb4ea3 pushed by Trebor-Huang
32s main
main
32s
Stuff Render paper.pdf #53: Commit 8433b59 pushed by Trebor-Huang
24s main
main
24s
Restructure category Render paper.pdf #52: Commit 611381a pushed by Trebor-Huang
27s main
main
27s
Update action Render paper.pdf #51: Commit 4bdb6ba pushed by Trebor-Huang
27s main
main
27s
Misc Render paper.pdf #50: Commit 9266cc1 pushed by Trebor-Huang
22s main
main
22s
Merge pull request #2 from ice1k/main Render paper.pdf #49: Commit bdea94f pushed by Trebor-Huang
30s main
main
30s
Merge pull request #1 from ice1k/main Render paper.pdf #48: Commit e0269bd pushed by Trebor-Huang
28s main
main
28s
Misc fixes Render paper.pdf #47: Commit 44190fb pushed by Trebor-Huang
20s main
main
20s
Synthetic Render paper.pdf #46: Commit 60362ee pushed by Trebor-Huang
24s main
main
24s
Finish basic natural models Render paper.pdf #45: Commit f0dfc43 pushed by Trebor-Huang
27s main
main
27s
More category Render paper.pdf #44: Commit a2c90e8 pushed by Trebor-Huang
30s main
main
30s
Plans Render paper.pdf #43: Commit 38a5151 pushed by Trebor-Huang
21s main
main
21s
Bit on univalence Render paper.pdf #42: Commit 8e9f651 pushed by Trebor-Huang
24s main
main
24s
Bit on univalence Render paper.pdf #41: Commit f3f493d pushed by Trebor-Huang
30s main
main
30s
More yap on computations Render paper.pdf #40: Commit e3dabcd pushed by Trebor-Huang
47s main
main
47s
Explain the logic more Render paper.pdf #39: Commit e90c109 pushed by Trebor-Huang
22s main
main
22s
Inductive type Render paper.pdf #38: Commit 8f42cd4 pushed by Trebor-Huang
30s main
main
30s
Misc Render paper.pdf #37: Commit 9d1a945 pushed by Trebor-Huang
22s main
main
22s
Comprehension category Render paper.pdf #36: Commit 0252fbc pushed by Trebor-Huang
24s main
main
24s
Set theory Render paper.pdf #35: Commit 0be637d pushed by Trebor-Huang
21s main
main
21s
Misc Render paper.pdf #34: Commit ea76e76 pushed by Trebor-Huang
23s main
main
23s
New sectino on synthetic mathematics Render paper.pdf #33: Commit e3e4d38 pushed by Trebor-Huang
21s main
main
21s
Misc Render paper.pdf #32: Commit be8a4e8 pushed by Trebor-Huang
24s main
main
24s
Identity for realizability Render paper.pdf #31: Commit 06b74a7 pushed by Trebor-Huang
29s main
main
29s