Skip to content

Actions: agda/cubical

Actions

Ubuntu build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-ubuntu.yml
424 workflow runs
424 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Open subschemes Ubuntu build #2331: Pull request #1096 opened by mzeuner
February 1, 2024 13:50 15m 37s mzeuner:OpenSubschemes
mzeuner:OpenSubschemes
February 1, 2024 13:50 15m 37s
Check all agda files Ubuntu build #2330: Pull request #1058 synchronize by felixwellen
February 1, 2024 10:23 2m 56s fwellen/rm-non-checking
fwellen/rm-non-checking
February 1, 2024 10:23 2m 56s
Placeholder for paper in progress (#1094) Ubuntu build #2329: Commit 2ecfa00 pushed by mortberg
January 31, 2024 10:55 3m 49s master
master
January 31, 2024 10:55 3m 49s
Placeholder for paper in progress Ubuntu build #2328: Pull request #1094 opened by aljungstrom
January 31, 2024 09:58 2m 51s aljungstrom:smashpaper
aljungstrom:smashpaper
January 31, 2024 09:58 2m 51s
Refactor and improve CommRingSolver Ubuntu build #2327: Pull request #1093 synchronize by felixwellen
January 30, 2024 21:16 10m 18s fwellen/tactical-initiative
fwellen/tactical-initiative
January 30, 2024 21:16 10m 18s
Refactor and improve CommRingSolver Ubuntu build #2326: Pull request #1093 synchronize by felixwellen
January 30, 2024 13:55 10m 8s fwellen/tactical-initiative
fwellen/tactical-initiative
January 30, 2024 13:55 10m 8s
Refactor and improve CommRingSolver Ubuntu build #2325: Pull request #1093 synchronize by felixwellen
January 30, 2024 10:52 10m 10s fwellen/tactical-initiative
fwellen/tactical-initiative
January 30, 2024 10:52 10m 10s
Refactor and improve CommRingSolver Ubuntu build #2324: Pull request #1093 synchronize by felixwellen
January 30, 2024 10:32 10m 4s fwellen/tactical-initiative
fwellen/tactical-initiative
January 30, 2024 10:32 10m 4s
Refactor and improve CommRingSolver Ubuntu build #2323: Pull request #1093 synchronize by felixwellen
January 30, 2024 09:58 9m 35s fwellen/tactical-initiative
fwellen/tactical-initiative
January 30, 2024 09:58 9m 35s
Refactor and improve CommRingSolver Ubuntu build #2322: Pull request #1093 synchronize by felixwellen
January 30, 2024 00:08 9m 8s fwellen/tactical-initiative
fwellen/tactical-initiative
January 30, 2024 00:08 9m 8s
Refactor and improve CommRingSolver Ubuntu build #2321: Pull request #1093 synchronize by felixwellen
January 29, 2024 23:59 5m 56s fwellen/tactical-initiative
fwellen/tactical-initiative
January 29, 2024 23:59 5m 56s
Refactor and improve CommRingSolver Ubuntu build #2320: Pull request #1093 synchronize by felixwellen
January 29, 2024 18:12 2m 40s fwellen/tactical-initiative
fwellen/tactical-initiative
January 29, 2024 18:12 2m 40s
Refactor and improve CommRingSolver Ubuntu build #2319: Pull request #1093 opened by felixwellen
January 29, 2024 17:11 11m 20s fwellen/tactical-initiative
fwellen/tactical-initiative
January 29, 2024 17:11 11m 20s
Check all agda files Ubuntu build #2318: Pull request #1058 synchronize by felixwellen
January 25, 2024 23:09 3m 48s fwellen/rm-non-checking
fwellen/rm-non-checking
January 25, 2024 23:09 3m 48s
Check all agda files Ubuntu build #2317: Pull request #1058 synchronize by felixwellen
January 25, 2024 21:40 3m 21s fwellen/rm-non-checking
fwellen/rm-non-checking
January 25, 2024 21:40 3m 21s
Check all agda files Ubuntu build #2316: Pull request #1058 synchronize by felixwellen
January 25, 2024 21:10 3m 8s fwellen/rm-non-checking
fwellen/rm-non-checking
January 25, 2024 21:10 3m 8s
Triangular numbers (#1044) Ubuntu build #2315: Commit 1c0396c pushed by felixwellen
January 25, 2024 17:19 3m 58s master
master
January 25, 2024 17:19 3m 58s
Triangular numbers Ubuntu build #2314: Pull request #1044 synchronize by felixwellen
January 25, 2024 17:12 3m 17s fwellen/triangular
fwellen/triangular
January 25, 2024 17:12 3m 17s
Triangular numbers Ubuntu build #2313: Pull request #1044 synchronize by felixwellen
January 25, 2024 16:46 2m 52s fwellen/triangular
fwellen/triangular
January 25, 2024 16:46 2m 52s
Triangular numbers Ubuntu build #2312: Pull request #1044 synchronize by felixwellen
January 25, 2024 16:35 2m 56s fwellen/triangular
fwellen/triangular
January 25, 2024 16:35 2m 56s
Triangular numbers Ubuntu build #2311: Pull request #1044 synchronize by felixwellen
January 25, 2024 16:27 3m 48s fwellen/triangular
fwellen/triangular
January 25, 2024 16:27 3m 48s
Triangular numbers Ubuntu build #2310: Pull request #1044 synchronize by felixwellen
January 25, 2024 16:18 3m 6s fwellen/triangular
fwellen/triangular
January 25, 2024 16:18 3m 6s
Remove the bad constructor on coinductive types Ubuntu build #2309: Commit 86b5233 pushed by ice1000
January 24, 2024 19:57 3m 47s master
master
January 24, 2024 19:57 3m 47s
Summary file/missing cohomology lemmas (#1092) Ubuntu build #2308: Commit 573426b pushed by mortberg
January 24, 2024 06:49 34m 33s master
master
January 24, 2024 06:49 34m 33s
Summary file/missing cohomology lemmas Ubuntu build #2307: Pull request #1092 synchronize by aljungstrom
January 23, 2024 18:45 33m 31s aljungstrom:cohomology-paper
aljungstrom:cohomology-paper
January 23, 2024 18:45 33m 31s
ProTip! You can narrow down the results and go further in time using created:<2024-01-23 or the other filters available.