Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
525 workflow run results
525 workflow run results

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Refactor Data.Vec.Properties : Add toList-injective and new lemmas Check whitespace #1789: Pull request #2733 synchronize by jmougeot
8s jmougeot:VecPropreties
jmougeot:VecPropreties
8s
Refactor Data.Vec.Properties : Add toList-injective and new lemmas Haskell-CI #2172: Pull request #2733 synchronize by jmougeot
2m 50s jmougeot:VecPropreties
jmougeot:VecPropreties
2m 50s
Refactor Data.Vec.Properties : Add toList-injective and new lemmas Ubuntu build #4821: Pull request #2733 synchronize by jmougeot
38m 43s jmougeot:VecPropreties
jmougeot:VecPropreties
38m 43s
[Add] Initial files for Domain theory Haskell-CI #2171: Pull request #2721 synchronize by jmougeot
2m 54s jmougeot:domain_part1
jmougeot:domain_part1
2m 54s
[Add] Initial files for Domain theory Ubuntu build #4820: Pull request #2721 synchronize by jmougeot
39m 44s jmougeot:domain_part1
jmougeot:domain_part1
39m 44s
[Add] Initial files for Domain theory Check whitespace #1788: Pull request #2721 synchronize by jmougeot
10s jmougeot:domain_part1
jmougeot:domain_part1
10s
[Add] Initial files for Domain theory Check whitespace #1787: Pull request #2721 synchronize by jmougeot
9s jmougeot:domain_part1
jmougeot:domain_part1
9s
[Add] Initial files for Domain theory Haskell-CI #2170: Pull request #2721 synchronize by jmougeot
2m 58s jmougeot:domain_part1
jmougeot:domain_part1
2m 58s
[Add] Initial files for Domain theory Ubuntu build #4819: Pull request #2721 synchronize by jmougeot
2m 28s jmougeot:domain_part1
jmougeot:domain_part1
2m 28s
[Add] Initial files for Domain theory Ubuntu build #4818: Pull request #2721 synchronize by jmougeot
2m 12s jmougeot:domain_part1
jmougeot:domain_part1
2m 12s
[Add] Initial files for Domain theory Haskell-CI #2169: Pull request #2721 synchronize by jmougeot
2m 48s jmougeot:domain_part1
jmougeot:domain_part1
2m 48s
[Add] Initial files for Domain theory Check whitespace #1786: Pull request #2721 synchronize by jmougeot
8s jmougeot:domain_part1
jmougeot:domain_part1
8s
Adds Algebra.Morphism.Construct.DirectProduct Ubuntu build #4817: Pull request #2715 synchronize by carlostome
42m 29s carlostome:carlos/add-projection-morphisms
carlostome:carlos/add-projection-morphisms
42m 29s
Adds Algebra.Morphism.Construct.DirectProduct Haskell-CI #2168: Pull request #2715 synchronize by carlostome
2m 58s carlostome:carlos/add-projection-morphisms
carlostome:carlos/add-projection-morphisms
2m 58s
Adds Algebra.Morphism.Construct.DirectProduct Check whitespace #1785: Pull request #2715 synchronize by carlostome
11s carlostome:carlos/add-projection-morphisms
carlostome:carlos/add-projection-morphisms
11s
pages build and deployment pages-build-deployment #582: by github-pages Bot
1m 18s gh-pages
gh-pages
1m 18s
Some preparatory proofs for proving sorting+permutation is equality … Ubuntu build #4816: Commit f5e4c2b pushed by github-merge-queue Bot
40m 39s master
master
40m 39s
Some preparatory proofs for proving sorting+permutation is equality … Check whitespace #1784: Commit f5e4c2b pushed by github-merge-queue Bot
12s master
master
12s
Some preparatory proofs for proving sorting+permutation is equality … Haskell-CI #2167: Commit f5e4c2b pushed by github-merge-queue Bot
2m 51s master
master
2m 51s
[ add ] Relation.Nullary.Decidable.dec-yes-recompute Check whitespace #1783: Pull request #2738 synchronize by jamesmckinna
10s jamesmckinna:refactor-recomputable
jamesmckinna:refactor-recomputable
10s
[ add ] Relation.Nullary.Decidable.dec-yes-recompute Ubuntu build #4815: Pull request #2738 synchronize by jamesmckinna
38m 44s jamesmckinna:refactor-recomputable
jamesmckinna:refactor-recomputable
38m 44s
[ add ] Relation.Nullary.Decidable.dec-yes-recompute Haskell-CI #2166: Pull request #2738 synchronize by jamesmckinna
2m 49s jamesmckinna:refactor-recomputable
jamesmckinna:refactor-recomputable
2m 49s
Ubuntu build Ubuntu build #4814: Merge group checks requested
40m 24s
40m 24s
Check whitespace Check whitespace #1782: Merge group checks requested
12s
12s
[ refactor ] Data.Fin.Properties of decidable equality, plus knock-ons Check whitespace #1781: Pull request #2740 synchronize by jamesmckinna
13s jamesmckinna:refactor-Fin-properties
jamesmckinna:refactor-Fin-properties
13s