Skip to content

Actions: agda/cubical

All workflows

Actions

Loading...

Showing runs from all workflows
681 workflow runs
681 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Topological modalities
Ubuntu build #2477: Pull request #1125 synchronize by awswan
May 12, 2024 09:37 17m 21s awswan:topological-modalities
May 12, 2024 09:37 17m 21s
Topological modalities
Ubuntu build #2476: Pull request #1125 synchronize by awswan
May 12, 2024 09:18 2m 24s awswan:topological-modalities
May 12, 2024 09:18 2m 24s
Topological modalities
Ubuntu build #2475: Pull request #1125 opened by awswan
May 10, 2024 12:36 17m 17s awswan:topological-modalities
May 10, 2024 12:36 17m 17s
Displayed Category Constructions
Ubuntu build #2474: Pull request #1108 synchronize by stschaef
May 9, 2024 15:15 Action required stschaef:displayed-additions
May 9, 2024 15:15 Action required
Displayed Category Constructions
Ubuntu build #2473: Pull request #1108 synchronize by stschaef
May 9, 2024 15:02 Action required stschaef:displayed-additions
May 9, 2024 15:02 Action required
pages build and deployment
pages-build-deployment #286: by github-pages bot
May 6, 2024 14:56 48s
May 6, 2024 14:56 48s
CW complexes, cellular homology + a lot more (#1111)
Ubuntu build #2472: Commit 36a14f8 pushed by mortberg
May 6, 2024 14:11 45m 30s master
May 6, 2024 14:11 45m 30s
CW complexes, cellular homology + a lot more
Ubuntu build #2471: Pull request #1111 synchronize by aljungstrom
May 6, 2024 13:38 29m 58s aljungstrom:cellular_final
May 6, 2024 13:38 29m 58s
CW complexes, cellular homology + a lot more
Ubuntu build #2470: Pull request #1111 synchronize by aljungstrom
May 2, 2024 09:34 44m 11s aljungstrom:cellular_final
May 2, 2024 09:34 44m 11s
Simplify CartesianKanOps/FunExtEquiv using "interpolation" on I
Ubuntu build #2469: Pull request #1001 synchronize by pi3js2
April 30, 2024 15:25 Action required pi3js2:erp
April 30, 2024 15:25 Action required
Simplify CartesianKanOps/FunExtEquiv using "interpolation" on I
Ubuntu build #2468: Pull request #1001 synchronize by pi3js2
April 30, 2024 14:22 Action required pi3js2:erp
April 30, 2024 14:22 Action required
Properties of the lifting functor
Ubuntu build #2467: Pull request #1123 opened by mzeuner
April 24, 2024 11:53 5m 12s mzeuner:LiftingProps
April 24, 2024 11:53 5m 12s
pages build and deployment
pages-build-deployment #285: by github-pages bot
April 22, 2024 09:20 50s
April 22, 2024 09:20 50s
Preorder structure on the category of subobjects (#1115)
Ubuntu build #2466: Commit cb0328e pushed by felixwellen
April 22, 2024 09:15 4m 41s master
April 22, 2024 09:15 4m 41s
Lift experiment
Ubuntu build #2465: Pull request #1122 opened by mzeuner
April 18, 2024 17:27 5m 9s mzeuner:liftExperiment
April 18, 2024 17:27 5m 9s
Simplify CartesianKanOps/FunExtEquiv using "interpolation" on I
Ubuntu build #2464: Pull request #1001 synchronize by pi3js2
April 16, 2024 14:49 29m 55s pi3js2:erp
April 16, 2024 14:49 29m 55s
pages build and deployment
pages-build-deployment #284: by github-pages bot
April 16, 2024 08:42 53s
April 16, 2024 08:42 53s
Algebraic geometry directory, take 2 (#1121)
Ubuntu build #2463: Commit 598dfa5 pushed by mortberg
April 16, 2024 08:37 4m 36s master
April 16, 2024 08:37 4m 36s
Simplify CartesianKanOps/FunExtEquiv using "interpolation" on I
Ubuntu build #2462: Pull request #1001 synchronize by pi3js2
April 15, 2024 21:35 2m 36s pi3js2:erp
April 15, 2024 21:35 2m 36s
Simplify CartesianKanOps/FunExtEquiv using "interpolation" on I
Ubuntu build #2461: Pull request #1001 synchronize by pi3js2
April 15, 2024 20:58 Action required pi3js2:erp
April 15, 2024 20:58 Action required
Simplify CartesianKanOps/FunExtEquiv using "interpolation" on I
Ubuntu build #2460: Pull request #1001 synchronize by pi3js2
April 15, 2024 20:54 Action required pi3js2:erp
April 15, 2024 20:54 Action required
Algebraic geometry directory, take 2
Ubuntu build #2459: Pull request #1121 synchronize by mzeuner
April 15, 2024 12:59 28m 53s mzeuner:AlgGeoDir2
April 15, 2024 12:59 28m 53s
Simplify CartesianKanOps/FunExtEquiv using "interpolation" on I
Ubuntu build #2457: Pull request #1001 synchronize by pi3js2
April 13, 2024 20:18 2m 32s pi3js2:erp
April 13, 2024 20:18 2m 32s
Simplify CartesianKanOps/FunExtEquiv using "interpolation" on I
Ubuntu build #2456: Pull request #1001 synchronize by pi3js2
April 13, 2024 20:17 Action required pi3js2:erp
April 13, 2024 20:17 Action required