Actions: agda/agda-stdlib
Actions
Showing runs from all workflows
3,739 workflow runs
3,739 workflow runs
On
Check whitespace
#2191:
Pull request #2876
opened
by
jamesmckinna
On
Ubuntu build
#5230:
Pull request #2876
opened
by
jamesmckinna
On
Haskell-CI
#2517:
Pull request #2876
opened
by
jamesmckinna
Algebra.Consequence.Propositional.sel⇒idem in the right place
Ubuntu build
#5229:
Pull request #2874
opened
by
jamesmckinna
Algebra.Consequence.Propositional.sel⇒idem in the right place
Haskell-CI
#2516:
Pull request #2874
opened
by
jamesmckinna
Algebra.Consequence.Propositional.sel⇒idem in the right place
Check whitespace
#2190:
Pull request #2874
opened
by
jamesmckinna
Algebra.Definitions.Central plus Consequences for Identity and Zero
Haskell-CI
#2515:
Pull request #2873
opened
by
jamesmckinna
Algebra.Definitions.Central plus Consequences for Identity and Zero
Check whitespace
#2189:
Pull request #2873
opened
by
jamesmckinna
Algebra.Definitions.Central plus Consequences for Identity and Zero
Ubuntu build
#5228:
Pull request #2873
opened
by
jamesmckinna
Relation.Binary.Morphism.Construct.On
Check whitespace
#2188:
Pull request #2872
opened
by
jamesmckinna
Relation.Binary.Morphism.Construct.On
Haskell-CI
#2514:
Pull request #2872
opened
by
jamesmckinna
Relation.Binary.Morphism.Construct.On
Ubuntu build
#5227:
Pull request #2872
opened
by
jamesmckinna
Relation.Unary adjoints
Haskell-CI
#2513:
Pull request #2866
synchronize
by
jamesmckinna
Relation.Unary adjoints
Ubuntu build
#5226:
Pull request #2866
synchronize
by
jamesmckinna
Relation.Unary adjoints
Check whitespace
#2187:
Pull request #2866
synchronize
by
jamesmckinna
Relation.Unary adjoints
Check whitespace
#2186:
Pull request #2866
synchronize
by
jamesmckinna
Relation.Unary adjoints
Ubuntu build
#5225:
Pull request #2866
synchronize
by
jamesmckinna
Relation.Unary adjoints
Haskell-CI
#2512:
Pull request #2866
synchronize
by
jamesmckinna
Relation.Unary adjoints
Ubuntu build
#5223:
Pull request #2866
synchronize
by
jamesmckinna
Relation.Unary adjoints
Haskell-CI
#2510:
Pull request #2866
synchronize
by
jamesmckinna
Relation.Unary adjoints
Check whitespace
#2184:
Pull request #2866
synchronize
by
jamesmckinna