Skip to content

Actions: agda/cubical

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
714 workflow runs
714 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Connected CW complexes Ubuntu build #2514: Pull request #1133 opened by aljungstrom
June 4, 2024 13:12 29m 49s aljungstrom:cellular_pointed
aljungstrom:cellular_pointed
June 4, 2024 13:12 29m 49s
pages build and deployment pages-build-deployment #296: by github-pages bot
June 3, 2024 07:27 48s
June 3, 2024 07:27 48s
Add Π-contractDom (#1132) Ubuntu build #2513: Commit a0b4ba3 pushed by mortberg
June 3, 2024 06:58 29m 42s master
master
June 3, 2024 06:58 29m 42s
Add Π-contractDom Ubuntu build #2512: Pull request #1132 opened by ncfavier
June 1, 2024 09:45 29m 10s pi-contract
pi-contract
June 1, 2024 09:45 29m 10s
No-eta for CommAlgebras Ubuntu build #2511: Pull request #1130 synchronize by felixwellen
May 31, 2024 11:46 3m 7s fwellen/no-eta-comm-algebra
fwellen/no-eta-comm-algebra
May 31, 2024 11:46 3m 7s
No-eta for CommAlgebras Ubuntu build #2510: Pull request #1130 synchronize by felixwellen
May 30, 2024 14:57 3m 5s fwellen/no-eta-comm-algebra
fwellen/no-eta-comm-algebra
May 30, 2024 14:57 3m 5s
No-eta for CommAlgebras Ubuntu build #2509: Pull request #1130 synchronize by felixwellen
May 30, 2024 14:51 3m 4s fwellen/no-eta-comm-algebra
fwellen/no-eta-comm-algebra
May 30, 2024 14:51 3m 4s
No-eta for CommAlgebras Ubuntu build #2508: Pull request #1130 synchronize by felixwellen
May 30, 2024 12:32 4m 0s fwellen/no-eta-comm-algebra
fwellen/no-eta-comm-algebra
May 30, 2024 12:32 4m 0s
No-eta for CommAlgebras Ubuntu build #2507: Pull request #1130 synchronize by felixwellen
May 30, 2024 12:17 3m 12s fwellen/no-eta-comm-algebra
fwellen/no-eta-comm-algebra
May 30, 2024 12:17 3m 12s
pages build and deployment pages-build-deployment #295: by github-pages bot
May 29, 2024 14:37 48s
May 29, 2024 14:37 48s
add lemma to summary file (#1131) Ubuntu build #2506: Commit 60f1898 pushed by mortberg
May 29, 2024 14:33 4m 19s master
master
May 29, 2024 14:33 4m 19s
Update summary file for qcqs-schemes paper Ubuntu build #2505: Pull request #1131 opened by mzeuner
May 29, 2024 13:24 3m 37s mzeuner:QcQsSchemesPaper2
mzeuner:QcQsSchemesPaper2
May 29, 2024 13:24 3m 37s
No-eta for CommAlgebras Ubuntu build #2504: Pull request #1130 opened by felixwellen
May 29, 2024 07:55 3m 34s fwellen/no-eta-comm-algebra
fwellen/no-eta-comm-algebra
May 29, 2024 07:55 3m 34s
Containers (and W and M) Ubuntu build #2503: Pull request #1129 opened by stefaniatadama
May 28, 2024 18:08 2m 25s stefaniatadama:containers
stefaniatadama:containers
May 28, 2024 18:08 2m 25s
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
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
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
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
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