Actions: agda/agda-stdlib
Actions
Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs
Fin n as a refinement (#2975)
Check whitespace
#2614:
Commit 51e06a7
pushed
by
github-merge-queue
Bot
Fin n as a refinement (#2975)
Ubuntu build
#5675:
Commit 51e06a7
pushed
by
github-merge-queue
Bot
Fin n as a refinement (#2975)
Haskell-CI
#2888:
Commit 51e06a7
pushed
by
github-merge-queue
Bot
Relation.Binary.Morphism.Definitions obsolete (#2…
Ubuntu build
#5674:
Commit b52ddca
pushed
by
github-merge-queue
Bot
Relation.Binary.Morphism.Definitions obsolete (#2…
Check whitespace
#2613:
Commit b52ddca
pushed
by
github-merge-queue
Bot
Relation.Binary.Morphism.Definitions obsolete (#2…
Haskell-CI
#2887:
Commit b52ddca
pushed
by
github-merge-queue
Bot
Relation/Binary.PropositionalEquality.inspect and `RE…
Check whitespace
#2612:
Commit 2f84dcc
pushed
by
JacquesCarette
Relation/Binary.PropositionalEquality.inspect and `RE…
Ubuntu build
#5673:
Commit 2f84dcc
pushed
by
JacquesCarette
Relation/Binary.PropositionalEquality.inspect and `RE…
Haskell-CI
#2886:
Commit 2f84dcc
pushed
by
JacquesCarette