Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,671 workflow runs
3,671 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ refactor ] Data.Fin.Properties.decFinSubset Check whitespace #2088: Pull request #2793 synchronize by jamesmckinna
11s jamesmckinna:decFinSubset
jamesmckinna:decFinSubset
11s
[ refactor ] Data.Fin.Properties.decFinSubset Haskell-CI #2429: Pull request #2793 synchronize by jamesmckinna
2m 48s jamesmckinna:decFinSubset
jamesmckinna:decFinSubset
2m 48s
[ refactor ] Data.Fin.Properties.decFinSubset Ubuntu build #5127: Pull request #2793 synchronize by jamesmckinna
27m 14s jamesmckinna:decFinSubset
jamesmckinna:decFinSubset
27m 14s
[ refactor ] Data.Fin.Properties.decFinSubset Haskell-CI #2428: Pull request #2793 synchronize by jamesmckinna
2m 57s jamesmckinna:decFinSubset
jamesmckinna:decFinSubset
2m 57s
[ refactor ] Data.Fin.Properties.decFinSubset Check whitespace #2087: Pull request #2793 synchronize by jamesmckinna
8s jamesmckinna:decFinSubset
jamesmckinna:decFinSubset
8s
[ refactor ] Data.Fin.Properties.decFinSubset Ubuntu build #5126: Pull request #2793 synchronize by jamesmckinna
1m 52s jamesmckinna:decFinSubset
jamesmckinna:decFinSubset
1m 52s
[ refactor ] Data.Fin.Properties.decFinSubset Haskell-CI #2427: Pull request #2793 synchronize by jamesmckinna
2m 59s jamesmckinna:decFinSubset
jamesmckinna:decFinSubset
2m 59s
[ refactor ] Data.Fin.Properties.decFinSubset Ubuntu build #5125: Pull request #2793 synchronize by jamesmckinna
1m 53s jamesmckinna:decFinSubset
jamesmckinna:decFinSubset
1m 53s
[ refactor ] Data.Fin.Properties.decFinSubset Check whitespace #2086: Pull request #2793 synchronize by jamesmckinna
9s jamesmckinna:decFinSubset
jamesmckinna:decFinSubset
9s
[ deprecate ] names for deMorgan lemmas in Relation.Nullary.Negation Check whitespace #2085: Pull request #2838 opened by jamesmckinna
12s jamesmckinna:deMorgan-Pred
jamesmckinna:deMorgan-Pred
12s
[ deprecate ] names for deMorgan lemmas in Relation.Nullary.Negation Ubuntu build #5124: Pull request #2838 opened by jamesmckinna
28m 24s jamesmckinna:deMorgan-Pred
jamesmckinna:deMorgan-Pred
28m 24s
[ deprecate ] names for deMorgan lemmas in Relation.Nullary.Negation Haskell-CI #2426: Pull request #2838 opened by jamesmckinna
3m 1s jamesmckinna:deMorgan-Pred
jamesmckinna:deMorgan-Pred
3m 1s
pages build and deployment pages-build-deployment #625: by github-pages bot
1m 29s gh-pages
gh-pages
1m 29s
[Add] truncate properties to Data.Vec.Properties (#2795) Ubuntu build #5123: Commit 2ce5eb3 pushed by github-merge-queue bot
27m 58s master
master
27m 58s
[Add] truncate properties to Data.Vec.Properties (#2795) Check whitespace #2084: Commit 2ce5eb3 pushed by github-merge-queue bot
16s master
master
16s
[Add] truncate properties to Data.Vec.Properties (#2795) Haskell-CI #2425: Commit 2ce5eb3 pushed by github-merge-queue bot
3m 5s master
master
3m 5s
Ubuntu build Ubuntu build #5122: Merge group checks requested
27m 26s
27m 26s
Check whitespace Check whitespace #2083: Merge group checks requested
11s
11s
[ add ] Pointwise lifting of algebra to Data.Vec.Functional (Functional vector module #1945 redux) Haskell-CI #2424: Pull request #2817 synchronize by jamesmckinna
2m 52s e-mniang:updating-pr-1945
e-mniang:updating-pr-1945
2m 52s
[ add ] Pointwise lifting of algebra to Data.Vec.Functional (Functional vector module #1945 redux) Ubuntu build #5121: Pull request #2817 synchronize by jamesmckinna
28m 5s e-mniang:updating-pr-1945
e-mniang:updating-pr-1945
28m 5s
[ add ] Pointwise lifting of algebra to Data.Vec.Functional (Functional vector module #1945 redux) Check whitespace #2082: Pull request #2817 synchronize by jamesmckinna
10s e-mniang:updating-pr-1945
e-mniang:updating-pr-1945
10s
[ deprecate ] names for deMorgan lemmas in Data.Fin.Properties Check whitespace #2081: Pull request #2837 opened by jamesmckinna
12s jamesmckinna:deMorgan-Fin
jamesmckinna:deMorgan-Fin
12s
[ deprecate ] names for deMorgan lemmas in Data.Fin.Properties Ubuntu build #5120: Pull request #2837 opened by jamesmckinna
27m 59s jamesmckinna:deMorgan-Fin
jamesmckinna:deMorgan-Fin
27m 59s
[ deprecate ] names for deMorgan lemmas in Data.Fin.Properties Haskell-CI #2423: Pull request #2837 opened by jamesmckinna
2m 55s jamesmckinna:deMorgan-Fin
jamesmckinna:deMorgan-Fin
2m 55s
pages build and deployment pages-build-deployment #624: by github-pages bot
1m 33s gh-pages
gh-pages
1m 33s