Skip to content

Actions: agda/cubical

All workflows

Actions

Loading...

Showing runs from all workflows
709 workflow runs
709 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

pages build and deployment
pages-build-deployment #294: by github-pages bot
May 22, 2024 13:04 41s
May 22, 2024 13:04 41s
Simplify CartesianKanOps/FunExtEquiv using "interpolation" on I (#1001)
Ubuntu build #2502: Commit 502b1bb pushed by mortberg
May 22, 2024 12:33 30m 22s master
May 22, 2024 12:33 30m 22s
pages build and deployment
pages-build-deployment #293: by github-pages bot
May 17, 2024 14:16 47s
May 17, 2024 14:16 47s
Displayed Category Constructions (#1108)
Ubuntu build #2501: Commit 2ae8464 pushed by felixwellen
May 17, 2024 13:42 33m 31s master
May 17, 2024 13:42 33m 31s
Simplify CartesianKanOps/FunExtEquiv using "interpolation" on I
Ubuntu build #2500: Pull request #1001 synchronize by pi3js2
May 16, 2024 06:55 29m 40s pi3js2:erp
May 16, 2024 06:55 29m 40s
Displayed Category Constructions
Ubuntu build #2499: Pull request #1108 synchronize by stschaef
May 15, 2024 16:35 29m 44s stschaef:displayed-additions
May 15, 2024 16:35 29m 44s
pages build and deployment
pages-build-deployment #292: by github-pages bot
May 14, 2024 21:17 53s
May 14, 2024 21:17 53s
Clean up: Remove Foundation/Everything and outdated stuff (#1127)
Ubuntu build #2498: Commit 59c59c0 pushed by felixwellen
May 14, 2024 20:47 30m 29s master
May 14, 2024 20:47 30m 29s
Clean up: Remove Foundation/Everything and outdated stuff
Ubuntu build #2497: Pull request #1127 synchronize by felixwellen
May 14, 2024 19:49 29m 21s fwellen/no-to-everything
May 14, 2024 19:49 29m 21s
Simplify CartesianKanOps/FunExtEquiv using "interpolation" on I
Ubuntu build #2496: Pull request #1001 synchronize by pi3js2
May 13, 2024 15:34 29m 17s pi3js2:erp
May 13, 2024 15:34 29m 17s
Clean up: Remove Foundation/Everything and outdated stuff
Ubuntu build #2495: Pull request #1127 synchronize by felixwellen
May 13, 2024 15:12 23m 47s fwellen/no-to-everything
May 13, 2024 15:12 23m 47s
pages build and deployment
pages-build-deployment #291: by github-pages bot
May 13, 2024 14:38 46s
May 13, 2024 14:38 46s
Clean up: Remove Foundation/Everything and outdated stuff
Ubuntu build #2493: Pull request #1127 synchronize by felixwellen
May 13, 2024 14:13 21m 35s fwellen/no-to-everything
May 13, 2024 14:13 21m 35s
pages build and deployment
pages-build-deployment #290: by github-pages bot
May 13, 2024 14:10 46s
May 13, 2024 14:10 46s
Simplify Embedding-into-hLevel→hLevel (#1107)
Ubuntu build #2492: Commit 7549445 pushed by felixwellen
May 13, 2024 14:08 30m 1s master
May 13, 2024 14:08 30m 1s
Construct 'the' free wild category on a graph (#1117)
Ubuntu build #2491: Commit 542449f pushed by felixwellen
May 13, 2024 14:06 4m 58s master
May 13, 2024 14:06 4m 58s
pages build and deployment
pages-build-deployment #289: by github-pages bot
May 13, 2024 14:05 45s
May 13, 2024 14:05 45s
Refactor and extend the path-graph (#1116)
Ubuntu build #2490: Commit 9ec6a59 pushed by felixwellen
May 13, 2024 14:01 4m 1s master
May 13, 2024 14:01 4m 1s
pages build and deployment
pages-build-deployment #288: by github-pages bot
May 13, 2024 14:00 45s
May 13, 2024 14:00 45s
fully faithful and pres lims (#1123)
Ubuntu build #2489: Commit b046b02 pushed by felixwellen
May 13, 2024 13:54 6m 14s master
May 13, 2024 13:54 6m 14s
Clean up: Remove Foundation/Everything and outdated stuff
Ubuntu build #2488: Pull request #1127 synchronize by felixwellen
May 13, 2024 13:42 21m 10s fwellen/no-to-everything
May 13, 2024 13:42 21m 10s
Clean Codata folder and make it --safe
Ubuntu build #2487: Pull request #1128 synchronize by mortberg
May 13, 2024 13:31 4m 45s mortberg:clean-codata
May 13, 2024 13:31 4m 45s
Clean Codata folder and make it --safe
Ubuntu build #2486: Pull request #1128 synchronize by mortberg
May 13, 2024 13:30 3m 30s mortberg:clean-codata
May 13, 2024 13:30 3m 30s