Skip to content

Actions: gwaithimirdain/narya

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
277 workflow runs
277 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make -hott the default mode (otherwise use -parametric) Build #201: Pull request #88 opened by mikeshulman
8m 25s hott-default
hott-default
8m 25s
-hott is now the default (otherwise use -parametric) Build #200: Commit 75546b8 pushed by mikeshulman
8m 35s hott-default
hott-default
8m 35s
fib_type -> fib_any Build #199: Commit 0a4c37e pushed by mikeshulman
9m 54s master
master
9m 54s
etags-regen-mode only exists in Emacs 30.1+ Build #198: Commit b664253 pushed by mikeshulman
8m 32s master
master
8m 32s
etags-regen-mode only exists in Emacs 30.1+ Build #197: Commit 55191e7 pushed by mikeshulman
8m 40s master
master
8m 40s
split on datatype terms Build #196: Commit db81055 pushed by mikeshulman
8m 26s master
master
8m 26s
improve ctags to understand comments and sections Build #195: Commit 0ad73a6 pushed by mikeshulman
8m 27s master
master
8m 27s
improve ctags to understand comments and sections Build #194: Commit 3e46ee4 pushed by mikeshulman
8m 39s master
master
8m 39s
improve ctags to understand comments and sections Build #193: Commit 55b6266 pushed by mikeshulman
8m 28s master
master
8m 28s
remove existing ctags files before installation Build #192: Commit 7e6f1c9 pushed by mikeshulman
8m 25s master
master
8m 25s
ctags configuration and instructions Build #191: Commit 7823cc0 pushed by mikeshulman
8m 31s master
master
8m 31s
document default variables Build #190: Commit 8064092 pushed by mikeshulman
8m 25s master
master
8m 25s
remove documentation of nonexistent "option" command Build #189: Commit 9c8cabc pushed by mikeshulman
8m 50s master
master
8m 50s
don't indent printed solve/split terms when in a section Build #188: Commit 1ffe236 pushed by mikeshulman
9m 14s master
master
9m 14s
Merge pull request #87 from gwaithimirdain/glue Build #187: Commit c14de58 pushed by mikeshulman
8m 35s master
master
8m 35s
Definitional univalence Build #186: Pull request #87 synchronize by mikeshulman
8m 4s glue
glue
8m 4s
document computing univalence Build #185: Commit b69c992 pushed by mikeshulman
8m 7s glue
glue
8m 7s
Definitional univalence Build #184: Pull request #87 opened by mikeshulman
8m 6s glue
glue
8m 6s
document computing univalence Build #183: Commit 9c5d0bf pushed by mikeshulman
8m 29s glue
glue
8m 29s
test univalence on boolean flip automorphism Build #182: Commit 85655b8 pushed by mikeshulman
8m 18s glue
glue
8m 18s
test forbidden gel under -hott Build #181: Commit 5fb6866 pushed by mikeshulman
8m 23s master
master
8m 23s
allow (x y : A) ↦ ... Build #180: Commit aeb067f pushed by mikeshulman
8m 40s master
master
8m 40s
print DblArrows in iterated uninstantiated higher pi-types Build #179: Commit afaf8c7 pushed by mikeshulman
8m 41s master
master
8m 41s
use a record in Top.Execute.Loaded.data Build #178: Commit 3704345 pushed by mikeshulman
8m 52s master
master
8m 52s
promote test for holes in echo Build #177: Commit 537d96a pushed by mikeshulman
8m 45s master
master
8m 45s