Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ add ] homomorphisms between algebras defined by On Check whitespace #2191: Pull request #2876 opened by jamesmckinna
2m 31s jamesmckinna:on-homomorphisms
jamesmckinna:on-homomorphisms
2m 31s
[ add ] homomorphisms between algebras defined by On Ubuntu build #5230: Pull request #2876 opened by jamesmckinna
28m 26s jamesmckinna:on-homomorphisms
jamesmckinna:on-homomorphisms
28m 26s
[ add ] homomorphisms between algebras defined by On Haskell-CI #2517: Pull request #2876 opened by jamesmckinna
6m 0s jamesmckinna:on-homomorphisms
jamesmckinna:on-homomorphisms
6m 0s
[ bug/refactor ] put Algebra.Consequence.Propositional.sel⇒idem in the right place Ubuntu build #5229: Pull request #2874 opened by jamesmckinna
27m 7s jamesmckinna:bug-sel⇒idem
jamesmckinna:bug-sel⇒idem
27m 7s
[ bug/refactor ] put Algebra.Consequence.Propositional.sel⇒idem in the right place Haskell-CI #2516: Pull request #2874 opened by jamesmckinna
2m 50s jamesmckinna:bug-sel⇒idem
jamesmckinna:bug-sel⇒idem
2m 50s
[ bug/refactor ] put Algebra.Consequence.Propositional.sel⇒idem in the right place Check whitespace #2190: Pull request #2874 opened by jamesmckinna
12s jamesmckinna:bug-sel⇒idem
jamesmckinna:bug-sel⇒idem
12s
[ add ] Algebra.Definitions.Central plus Consequences for Identity and Zero Haskell-CI #2515: Pull request #2873 opened by jamesmckinna
2m 52s jamesmckinna:central
jamesmckinna:central
2m 52s
[ add ] Algebra.Definitions.Central plus Consequences for Identity and Zero Check whitespace #2189: Pull request #2873 opened by jamesmckinna
8s jamesmckinna:central
jamesmckinna:central
8s
[ add ] Algebra.Definitions.Central plus Consequences for Identity and Zero Ubuntu build #5228: Pull request #2873 opened by jamesmckinna
27m 31s jamesmckinna:central
jamesmckinna:central
27m 31s
[ add ] Relation.Binary.Morphism.Construct.On Check whitespace #2188: Pull request #2872 opened by jamesmckinna
14s jamesmckinna:on-morphisms
jamesmckinna:on-morphisms
14s
[ add ] Relation.Binary.Morphism.Construct.On Haskell-CI #2514: Pull request #2872 opened by jamesmckinna
3m 2s jamesmckinna:on-morphisms
jamesmckinna:on-morphisms
3m 2s
[ add ] Relation.Binary.Morphism.Construct.On Ubuntu build #5227: Pull request #2872 opened by jamesmckinna
28m 6s jamesmckinna:on-morphisms
jamesmckinna:on-morphisms
28m 6s
[ add ] properties of Relation.Unary adjoints Haskell-CI #2513: Pull request #2866 synchronize by jamesmckinna
2m 58s jamesmckinna:unary-adjoints
jamesmckinna:unary-adjoints
2m 58s
[ add ] properties of Relation.Unary adjoints Ubuntu build #5226: Pull request #2866 synchronize by jamesmckinna
27m 52s jamesmckinna:unary-adjoints
jamesmckinna:unary-adjoints
27m 52s
[ add ] properties of Relation.Unary adjoints Check whitespace #2187: Pull request #2866 synchronize by jamesmckinna
9s jamesmckinna:unary-adjoints
jamesmckinna:unary-adjoints
9s
pages build and deployment pages-build-deployment #636: by github-pages bot
1m 24s gh-pages
gh-pages
1m 24s
[ add ] properties of Relation.Unary adjoints Check whitespace #2186: Pull request #2866 synchronize by jamesmckinna
11s jamesmckinna:unary-adjoints
jamesmckinna:unary-adjoints
11s
[ add ] properties of Relation.Unary adjoints Ubuntu build #5225: Pull request #2866 synchronize by jamesmckinna
27m 30s jamesmckinna:unary-adjoints
jamesmckinna:unary-adjoints
27m 30s
[ add ] properties of Relation.Unary adjoints Haskell-CI #2512: Pull request #2866 synchronize by jamesmckinna
2m 42s jamesmckinna:unary-adjoints
jamesmckinna:unary-adjoints
2m 42s
Adds "pushforward" to Relation.Unary (#2840) Check whitespace #2185: Commit 38f22ec pushed by github-merge-queue bot
12s master
master
12s
Adds "pushforward" to Relation.Unary (#2840) Haskell-CI #2511: Commit 38f22ec pushed by github-merge-queue bot
3m 1s master
master
3m 1s
Adds "pushforward" to Relation.Unary (#2840) Ubuntu build #5224: Commit 38f22ec pushed by github-merge-queue bot
28m 2s master
master
28m 2s
[ add ] properties of Relation.Unary adjoints Ubuntu build #5223: Pull request #2866 synchronize by jamesmckinna
28m 5s jamesmckinna:unary-adjoints
jamesmckinna:unary-adjoints
28m 5s
[ add ] properties of Relation.Unary adjoints Haskell-CI #2510: Pull request #2866 synchronize by jamesmckinna
3m 8s jamesmckinna:unary-adjoints
jamesmckinna:unary-adjoints
3m 8s
[ add ] properties of Relation.Unary adjoints Check whitespace #2184: Pull request #2866 synchronize by jamesmckinna
19s jamesmckinna:unary-adjoints
jamesmckinna:unary-adjoints
19s