Skip to content

Actions: agda/cubical

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
470 workflow runs
470 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #367: by github-pages bot
46s gh-pages
gh-pages
46s
Missed rename of Precat to WildCat (#1200) Ubuntu build #3094: Commit 02c996f pushed by mortberg
3m 58s master
master
3m 58s
Book cauchy reals Ubuntu build #3093: Pull request #1182 synchronize by marcinjangrzybowski
33m 14s marcinjangrzybowski:book-cauchy-reals
marcinjangrzybowski:book-cauchy-reals
33m 14s
Book cauchy reals Ubuntu build #3092: Pull request #1182 synchronize by marcinjangrzybowski
32m 32s marcinjangrzybowski:book-cauchy-reals
marcinjangrzybowski:book-cauchy-reals
32m 32s
Define multicategories Ubuntu build #3091: Pull request #1278 opened by anshwad10
3m 7s anshwad10:multicategories
anshwad10:multicategories
3m 7s
pages build and deployment pages-build-deployment #366: by github-pages bot
48s gh-pages
gh-pages
48s
Define Dagger categories (#1201) Ubuntu build #3090: Commit d96372c pushed by ecavallo
8m 54s master
master
8m 54s
Heap Ubuntu build #3089: Pull request #1277 synchronize by anshwad10
3m 17s anshwad10:heap
anshwad10:heap
3m 17s
Heap Ubuntu build #3088: Pull request #1277 synchronize by anshwad10
3m 7s anshwad10:heap
anshwad10:heap
3m 7s
Update to Int.Fast Ubuntu build #3087: Pull request #1276 synchronize by LorenzoMolena
3m 16s LorenzoMolena:fast-int-update
LorenzoMolena:fast-int-update
3m 16s
Heap Ubuntu build #3086: Pull request #1277 synchronize by anshwad10
3m 6s anshwad10:heap
anshwad10:heap
3m 6s
Heap Ubuntu build #3085: Pull request #1277 synchronize by anshwad10
3m 17s anshwad10:heap
anshwad10:heap
3m 17s
Define Dagger categories Ubuntu build #3084: Pull request #1201 synchronize by anshwad10
8m 2s anshwad10:dagger-cat
anshwad10:dagger-cat
8m 2s
Define Dagger categories Ubuntu build #3083: Pull request #1201 synchronize by anshwad10
7m 58s anshwad10:dagger-cat
anshwad10:dagger-cat
7m 58s
Define Dagger categories Ubuntu build #3082: Pull request #1201 synchronize by anshwad10
7m 37s anshwad10:dagger-cat
anshwad10:dagger-cat
7m 37s
Heap Ubuntu build #3081: Pull request #1277 opened by anshwad10
2m 31s anshwad10:heap
anshwad10:heap
2m 31s
Update to Int.Fast Ubuntu build #3080: Pull request #1276 opened by LorenzoMolena
25m 20s LorenzoMolena:fast-int-update
LorenzoMolena:fast-int-update
25m 20s
add Max New to maintainer list (#1275) Ubuntu build #3079: Commit d569148 pushed by maxsnew
42m 57s master
master
42m 57s
add Max New to maintainer list Ubuntu build #3078: Pull request #1275 opened by maxsnew
41m 15s maxsnew:maxsnew-readme
maxsnew:maxsnew-readme
41m 15s
Resolve naming inconsistency between Iso and Category.isIso Ubuntu build #3077: Pull request #1274 synchronize by msyds
24m 40s msyds:master
msyds:master
24m 40s
Resolve naming inconsistency between Iso and Category.isIso Ubuntu build #3076: Pull request #1274 synchronize by msyds
21m 9s msyds:master
msyds:master
21m 9s
Resolve naming inconsistency between Iso and Category.isIso Ubuntu build #3075: Pull request #1274 opened by msyds
Action required msyds:master
msyds:master
Action required
Make Lift's level argument explicit Ubuntu build #3074: Pull request #1273 synchronize by anshwad10
24m 36s anshwad10:explicit-lift
anshwad10:explicit-lift
24m 36s
Make Lift's level argument explicit Ubuntu build #3073: Pull request #1273 synchronize by anshwad10
21m 54s anshwad10:explicit-lift
anshwad10:explicit-lift
21m 54s
Make Lift's level argument explicit Ubuntu build #3072: Pull request #1273 synchronize by anshwad10
18m 52s anshwad10:explicit-lift
anshwad10:explicit-lift
18m 52s