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

Major rewrite of versioning and undo Build #226: Pull request #89 synchronize by mikeshulman
8m 23s fix-history
fix-history
8m 23s
promote some metavariable names Build #225: Commit 4f6e484 pushed by mikeshulman
8m 23s fix-history
fix-history
8m 23s
remove old 'display style' from PG minibuffer commands list Build #224: Commit 08787b5 pushed by mikeshulman
8m 28s master
master
8m 28s
Major rewrite of versioning and undo Build #223: Pull request #89 synchronize by mikeshulman
8m 26s fix-history
fix-history
8m 26s
promote some metavariable names Build #222: Commit 3b39c25 pushed by mikeshulman
8m 12s fix-history
fix-history
8m 12s
update a test Build #221: Commit 6f6a555 pushed by mikeshulman
9m 4s master
master
9m 4s
promote some metavariable names Build #220: Commit 91d866d pushed by mikeshulman
8m 26s fix-history
fix-history
8m 26s
missed a 0 -> ′ in holes.t Build #219: Commit 9d5625f pushed by mikeshulman
9m 17s master
master
9m 17s
promote some metavariable names Build #218: Commit f20c92c pushed by mikeshulman
9m 46s fix-history
fix-history
9m 46s
catch empty accumulated errors from context in degctx Build #217: Commit 2ca15d3 pushed by mikeshulman
8m 47s master
master
8m 47s
hct-hott: partial fibrancy of square-roots Build #216: Commit d156f55 pushed by mikeshulman
8m 50s master
master
8m 50s
Major rewrite of versioning and undo Build #215: Pull request #89 synchronize by mikeshulman
8m 10s fix-history
fix-history
8m 10s
promote some metavariable names Build #214: Commit 3dac57b pushed by mikeshulman
8m 8s fix-history
fix-history
8m 8s
Major rewrite of versioning and undo Build #213: Pull request #89 synchronize by mikeshulman
8m 27s fix-history
fix-history
8m 27s
go back in time to display holes, so name/notation scope is correct Build #212: Commit 9f4085f pushed by mikeshulman
8m 43s fix-history
fix-history
8m 43s
Major rewrite of versioning and undo Build #211: Pull request #89 synchronize by mikeshulman
8m 44s fix-history
fix-history
8m 44s
go back in time to display holes, so name/notation scope is correct Build #210: Commit 70dfb78 pushed by mikeshulman
8m 43s fix-history
fix-history
8m 43s
always force names Build #209: Commit fa9e910 pushed by mikeshulman
8m 53s master
master
8m 53s
Major rewrite of versioning and undo Build #208: Pull request #89 synchronize by mikeshulman
8m 19s fix-history
fix-history
8m 19s
it's simpler to inline sym_rtr Build #207: Commit a599809 pushed by mikeshulman
8m 4s fix-history
fix-history
8m 4s
Major rewrite of versioning and undo Build #206: Pull request #89 opened by mikeshulman
8m 18s fix-history
fix-history
8m 18s
Merge branch 'master' into fix-history Build #205: Commit 6fbf55b pushed by mikeshulman
8m 29s fix-history
fix-history
8m 29s
Merge pull request #88 from gwaithimirdain/hott-default Build #204: Commit 4bd4a2b pushed by mikeshulman
8m 39s master
master
8m 39s
add recommended PG configuration to install-pg output Build #203: Commit 2b61d59 pushed by mikeshulman
8m 35s master
master
8m 35s
ignore TAGS Build #202: Commit 9790fe7 pushed by mikeshulman
8m 35s master
master
8m 35s