Skip to content

Actions: agda/cubical

Actions

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
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
pi3js2:erp
April 15, 2024 21:35 2m 36s
Algebraic geometry directory, take 2 Ubuntu build #2459: Pull request #1121 synchronize by mzeuner
April 15, 2024 12:59 28m 53s mzeuner:AlgGeoDir2
mzeuner:AlgGeoDir2
April 15, 2024 12:59 28m 53s
WildCat, Groupoid, Group - Solvers Ubuntu build #2458: Pull request #1119 synchronize by marcinjangrzybowski
April 15, 2024 08:20 2m 34s marcinjangrzybowski:groupoid-solve
marcinjangrzybowski:groupoid-solve
April 15, 2024 08:20 2m 34s
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
pi3js2:erp
April 13, 2024 20:18 2m 32s
pages build and deployment pages-build-deployment #283: by github-pages bot
April 12, 2024 13:13 49s
April 12, 2024 13:13 49s
Normal form of FreeGroup (#1099) Ubuntu build #2455: Commit f9c7655 pushed by felixwellen
April 12, 2024 12:28 44m 57s master
master
April 12, 2024 12:28 44m 57s
Algebraic geometry directory, take 2 Ubuntu build #2454: Pull request #1121 synchronize by mzeuner
April 12, 2024 09:22 3m 9s mzeuner:AlgGeoDir2
mzeuner:AlgGeoDir2
April 12, 2024 09:22 3m 9s
Algebraic geometry directory, take 2 Ubuntu build #2453: Pull request #1121 opened by mzeuner
April 11, 2024 14:01 43m 57s mzeuner:AlgGeoDir2
mzeuner:AlgGeoDir2
April 11, 2024 14:01 43m 57s
Base change, sliced adjoints Ubuntu build #2451: Pull request #1120 synchronize by marcinjangrzybowski
April 2, 2024 03:55 29m 3s marcinjangrzybowski:sliced-adjoints
marcinjangrzybowski:sliced-adjoints
April 2, 2024 03:55 29m 3s
Base change, sliced adjoints Ubuntu build #2450: Pull request #1120 opened by marcinjangrzybowski
April 2, 2024 02:25 25m 33s marcinjangrzybowski:sliced-adjoints
marcinjangrzybowski:sliced-adjoints
April 2, 2024 02:25 25m 33s
WildCat, Groupoid, Group - Solvers Ubuntu build #2449: Pull request #1119 synchronize by marcinjangrzybowski
April 2, 2024 01:56 38m 30s marcinjangrzybowski:groupoid-solve
marcinjangrzybowski:groupoid-solve
April 2, 2024 01:56 38m 30s
Normal form of FreeGroup Ubuntu build #2448: Pull request #1099 synchronize by marcinjangrzybowski
March 31, 2024 21:50 3m 21s marcinjangrzybowski:freeGroup-normal-form
marcinjangrzybowski:freeGroup-normal-form
March 31, 2024 21:50 3m 21s
Normal form of FreeGroup Ubuntu build #2447: Pull request #1099 synchronize by marcinjangrzybowski
March 28, 2024 19:36 3m 7s marcinjangrzybowski:freeGroup-normal-form
marcinjangrzybowski:freeGroup-normal-form
March 28, 2024 19:36 3m 7s
WildCat, Groupoid, Group - Solvers Ubuntu build #2446: Pull request #1119 opened by marcinjangrzybowski
March 24, 2024 17:50 30m 5s marcinjangrzybowski:groupoid-solve
marcinjangrzybowski:groupoid-solve
March 24, 2024 17:50 30m 5s
Normal form of FreeGroup Ubuntu build #2445: Pull request #1099 synchronize by marcinjangrzybowski
March 24, 2024 15:59 28m 50s marcinjangrzybowski:freeGroup-normal-form
marcinjangrzybowski:freeGroup-normal-form
March 24, 2024 15:59 28m 50s
Construct 'the' free wild category on a graph Ubuntu build #2444: Pull request #1117 opened by felixwellen
March 23, 2024 20:31 2m 52s fwellen/try_wild_cat_solver
fwellen/try_wild_cat_solver
March 23, 2024 20:31 2m 52s
Refactor and extend the path-graph Ubuntu build #2443: Pull request #1116 opened by felixwellen
March 23, 2024 20:29 3m 13s fwellen/refactor_path_graph
fwellen/refactor_path_graph
March 23, 2024 20:29 3m 13s
Preorder structure on the category of subobjects Ubuntu build #2442: Pull request #1115 opened by rahulc29
March 23, 2024 14:17 45m 44s rahulc29:subobject-preorder-structure
rahulc29:subobject-preorder-structure
March 23, 2024 14:17 45m 44s
Additions to the Powerset module Ubuntu build #2440: Pull request #1056 synchronize by rahulc29
March 23, 2024 13:58 45m 27s rahulc29:master
rahulc29:master
March 23, 2024 13:58 45m 27s
add latest release (checked locally) (#1114) Ubuntu build #2439: Commit c26160b pushed by felixwellen
March 23, 2024 10:08 3m 32s master
master
March 23, 2024 10:08 3m 32s
Update agda version table Ubuntu build #2438: Pull request #1114 opened by felixwellen
March 23, 2024 09:47 2m 48s fwellen/update_agda_version_table
fwellen/update_agda_version_table
March 23, 2024 09:47 2m 48s
pages build and deployment pages-build-deployment #282: by github-pages bot
March 19, 2024 06:28 50s
March 19, 2024 06:28 50s
papers (#1113) Ubuntu build #2435: Commit cabdab8 pushed by mortberg
March 19, 2024 06:24 4m 11s master
master
March 19, 2024 06:24 4m 11s
Summary paper qcqs-schemes Ubuntu build #2434: Pull request #1113 opened by mzeuner
March 18, 2024 09:27 3m 10s mzeuner:QcQsSchemesPaper
mzeuner:QcQsSchemesPaper
March 18, 2024 09:27 3m 10s
pages build and deployment pages-build-deployment #281: by github-pages bot
March 16, 2024 18:19 50s
March 16, 2024 18:19 50s