Actions: agda/agda-stdlib
Actions
Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs
Data.Irrelevant.Irrelevant a proper Monad (#2977)
Ubuntu build
#5669:
Commit a5d4a19
pushed
by
github-merge-queue
Bot
Data.Irrelevant.Irrelevant a proper Monad (#2977)
Check whitespace
#2608:
Commit a5d4a19
pushed
by
github-merge-queue
Bot
Data.Irrelevant.Irrelevant a proper Monad (#2977)
Haskell-CI
#2885:
Commit a5d4a19
pushed
by
github-merge-queue
Bot
Data.SnocList.Base (re #2684)
Ubuntu build
#5667:
Pull request #2982
synchronize
by
gallais
Data.SnocList.Base (re #2684)
Check whitespace
#2606:
Pull request #2982
synchronize
by
gallais
Data.SnocList.Base (re #2684)
Haskell-CI
#2884:
Pull request #2982
synchronize
by
gallais
Data.Irrelevant.Irrelevant a proper Monad
Ubuntu build
#5665:
Pull request #2977
synchronize
by
jamesmckinna
Data.Irrelevant.Irrelevant a proper Monad
Haskell-CI
#2882:
Pull request #2977
synchronize
by
jamesmckinna
Data.Irrelevant.Irrelevant a proper Monad
Check whitespace
#2604:
Pull request #2977
synchronize
by
jamesmckinna
Relation/Binary.PropositionalEquality.inspect and README.Inspect (#1580 / #1630 / #1930 redux)
Ubuntu build
#5663:
Pull request #2981
reopened
by
jamesmckinna
Relation/Binary.PropositionalEquality.inspect and README.Inspect (#1580 / #1630 / #1930 redux)
Check whitespace
#2602:
Pull request #2981
reopened
by
jamesmckinna
Relation/Binary.PropositionalEquality.inspect and README.Inspect (#1580 / #1630 / #1930 redux)
Haskell-CI
#2880:
Pull request #2981
reopened
by
jamesmckinna
Relation/Binary.PropositionalEquality.inspect and README.Inspect (#1580 / #1630 / #1930 redux)
Haskell-CI
#2879:
Pull request #2981
reopened
by
jamesmckinna
Relation/Binary.PropositionalEquality.inspect and README.Inspect (#1580 / #1630 / #1930 redux)
Ubuntu build
#5662:
Pull request #2981
reopened
by
jamesmckinna
Relation/Binary.PropositionalEquality.inspect and README.Inspect (#1580 / #1630 / #1930 redux)
Check whitespace
#2601:
Pull request #2981
reopened
by
jamesmckinna