Skip to content

Actions: agda/cubical

Actions

Ubuntu build

Actions

Loading...

Show workflow options

Create status badge

ci-ubuntu.yml
555 workflow runs
555 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Simplify CartesianKanOps/FunExtEquiv using "interpolation" on I (#1001) Ubuntu build #2502: Commit 502b1bb pushed by mortberg
May 22, 2024 12:33 30m 22s master
master
May 22, 2024 12:33 30m 22s
Displayed Category Constructions (#1108) Ubuntu build #2501: Commit 2ae8464 pushed by felixwellen
May 17, 2024 13:42 33m 31s master
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
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
stschaef:displayed-additions
May 15, 2024 16:35 29m 44s
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
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
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
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
fwellen/no-to-everything
May 13, 2024 15:12 23m 47s
Clean up: Remove Foundation/Everything and outdated stuff Ubuntu build #2494: Pull request #1127 synchronize by felixwellen
May 13, 2024 14:24 23m 0s fwellen/no-to-everything
fwellen/no-to-everything
May 13, 2024 14:24 23m 0s
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
fwellen/no-to-everything
May 13, 2024 14:13 21m 35s
Simplify Embedding-into-hLevel→hLevel (#1107) Ubuntu build #2492: Commit 7549445 pushed by felixwellen
May 13, 2024 14:08 30m 1s master
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
master
May 13, 2024 14:06 4m 58s
Refactor and extend the path-graph (#1116) Ubuntu build #2490: Commit 9ec6a59 pushed by felixwellen
May 13, 2024 14:01 4m 1s master
master
May 13, 2024 14:01 4m 1s
fully faithful and pres lims (#1123) Ubuntu build #2489: Commit b046b02 pushed by felixwellen
May 13, 2024 13:54 6m 14s master
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
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
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
mortberg:clean-codata
May 13, 2024 13:30 3m 30s
Clean up: Remove Foundation/Everything and outdated stuff Ubuntu build #2485: Pull request #1127 synchronize by felixwellen
May 13, 2024 13:30 3m 18s fwellen/no-to-everything
fwellen/no-to-everything
May 13, 2024 13:30 3m 18s
Clean Codata folder and make it --safe Ubuntu build #2484: Pull request #1128 opened by mortberg
May 13, 2024 13:23 2m 34s mortberg:clean-codata
mortberg:clean-codata
May 13, 2024 13:23 2m 34s
Clean up: Remove Foundation/Everything and outdated stuff Ubuntu build #2483: Pull request #1127 opened by felixwellen
May 13, 2024 12:40 2m 54s fwellen/no-to-everything
fwellen/no-to-everything
May 13, 2024 12:40 2m 54s
Update CONTRIBUTING.md Ubuntu build #2482: Commit cc3bf67 pushed by felixwellen
May 13, 2024 12:09 4m 19s master
master
May 13, 2024 12:09 4m 19s
Update CONTRIBUTING.md Ubuntu build #2481: Commit 2bd09eb pushed by felixwellen
May 13, 2024 12:05 4m 36s master
master
May 13, 2024 12:05 4m 36s
Update CONTRIBUTING.md Ubuntu build #2480: Commit bcb4a68 pushed by felixwellen
May 13, 2024 12:00 3m 43s master
master
May 13, 2024 12:00 3m 43s
Topological modalities (#1125) Ubuntu build #2479: Commit 5b96b28 pushed by felixwellen
May 13, 2024 09:24 18m 12s master
master
May 13, 2024 09:24 18m 12s
Topological modalities Ubuntu build #2478: Pull request #1125 synchronize by awswan
May 13, 2024 08:55 17m 36s awswan:topological-modalities
awswan:topological-modalities
May 13, 2024 08:55 17m 36s