Skip to content

Actions: samtoth/agda-synthetic-categories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
pre-commit pre-commit #677: Manually run by samtoth
21s HornGlueing
HornGlueing
21s
Build Build #1747: Manually run by samtoth
8m 38s HornGlueing
HornGlueing
8m 38s
Phoa's principle for Δ² pre-commit #676: Pull request #262 synchronize by fredrik-bakke
22s fredrik-bakke:phoa-Δ²
fredrik-bakke:phoa-Δ²
22s
Phoa's principle for Δ² Build #1746: Pull request #262 synchronize by fredrik-bakke
4m 14s fredrik-bakke:phoa-Δ²
fredrik-bakke:phoa-Δ²
4m 14s
Phoa's principle for Δ² Build #1745: Pull request #262 synchronize by fredrik-bakke
4m 35s fredrik-bakke:phoa-Δ²
fredrik-bakke:phoa-Δ²
4m 35s
Phoa's principle for Δ² pre-commit #675: Pull request #262 synchronize by fredrik-bakke
15s fredrik-bakke:phoa-Δ²
fredrik-bakke:phoa-Δ²
15s
Exponentiability of the right endpoint inclusion pre-commit #674: Pull request #77 synchronize by fredrik-bakke
22s fredrik-bakke:exp
fredrik-bakke:exp
22s
Exponentiability of the right endpoint inclusion Build #1744: Pull request #77 synchronize by fredrik-bakke
3m 39s fredrik-bakke:exp
fredrik-bakke:exp
3m 39s
Publish Publish #146: completed by fredrik-bakke
5m 17s
5m 17s
Refactoring and misc infrastructure from #77 (#261) pre-commit #673: Commit ec7bbb9 pushed by fredrik-bakke
21s main
main
21s
Refactoring and misc infrastructure from #77 (#261) Benchmark #76: Commit ec7bbb9 pushed by fredrik-bakke
5m 1s main
main
5m 1s
Refactoring and misc infrastructure from #77 (#261) Publish #145: Commit ec7bbb9 pushed by fredrik-bakke
4m 38s main
main
4m 38s
Refactoring and misc infrastructure from #77 Build #1743: Pull request #261 synchronize by fredrik-bakke
4m 24s fredrik-bakke:refactoring-from-exp
fredrik-bakke:refactoring-from-exp
4m 24s
Refactoring and misc infrastructure from #77 pre-commit #672: Pull request #261 synchronize by fredrik-bakke
21s fredrik-bakke:refactoring-from-exp
fredrik-bakke:refactoring-from-exp
21s
Refactoring and misc infrastructure from #77 pre-commit #671: Pull request #261 synchronize by fredrik-bakke
16s fredrik-bakke:refactoring-from-exp
fredrik-bakke:refactoring-from-exp
16s
Refactoring and misc infrastructure from #77 Build #1742: Pull request #261 synchronize by fredrik-bakke
4m 38s fredrik-bakke:refactoring-from-exp
fredrik-bakke:refactoring-from-exp
4m 38s
Refactoring and misc infrastructure from #77 pre-commit #670: Pull request #261 synchronize by fredrik-bakke
21s fredrik-bakke:refactoring-from-exp
fredrik-bakke:refactoring-from-exp
21s
Refactoring and misc infrastructure from #77 Build #1741: Pull request #261 synchronize by fredrik-bakke
1m 48s fredrik-bakke:refactoring-from-exp
fredrik-bakke:refactoring-from-exp
1m 48s
Refactoring and misc infrastructure from #77 Build #1740: Pull request #261 synchronize by fredrik-bakke
4m 49s fredrik-bakke:refactoring-from-exp
fredrik-bakke:refactoring-from-exp
4m 49s
Refactoring and misc infrastructure from #77 pre-commit #669: Pull request #261 synchronize by fredrik-bakke
21s fredrik-bakke:refactoring-from-exp
fredrik-bakke:refactoring-from-exp
21s
Refactoring and misc infrastructure from #77 Build #1739: Pull request #261 synchronize by fredrik-bakke
1m 37s fredrik-bakke:refactoring-from-exp
fredrik-bakke:refactoring-from-exp
1m 37s
Refactoring and misc infrastructure from #77 pre-commit #668: Pull request #261 synchronize by fredrik-bakke
21s fredrik-bakke:refactoring-from-exp
fredrik-bakke:refactoring-from-exp
21s
Δ²-directed univalence and Space is Segal pre-commit #667: Pull request #225 synchronize by samtoth
17s HornGlueing
HornGlueing
17s
Δ²-directed univalence and Space is Segal Build #1738: Pull request #225 synchronize by samtoth
4m 53s HornGlueing
HornGlueing
4m 53s
Refactoring and misc infrastructure from #77 pre-commit #666: Pull request #261 synchronize by fredrik-bakke
26s fredrik-bakke:refactoring-from-exp
fredrik-bakke:refactoring-from-exp
26s