Skip to content

Actions: agda/agda-stdlib

Actions

Ubuntu build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-ubuntu.yml
1,042 workflow runs
1,042 workflow runs

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
Add more Data.Rational.Properties Ubuntu build #5698: Pull request #2996 synchronize by kleinreact
45m 28s kleinreact:more-rational-properties
kleinreact:more-rational-properties
45m 28s
Add more Data.Rational.Properties Ubuntu build #5697: Pull request #2996 opened by kleinreact
Action required kleinreact:more-rational-properties
kleinreact:more-rational-properties
Action required
[ refactor ] v2.4-admissible version of #2952 Ubuntu build #5696: Pull request #2980 synchronize by gallais
44m 6s jamesmckinna:issue2845-v2.4
jamesmckinna:issue2845-v2.4
44m 6s
Data.List.Base.all: fix warning (#2992) Ubuntu build #5695: Commit 0441b4c pushed by github-merge-queue Bot
44m 1s master
master
44m 1s
[ fix ] Deprecate _==_ for 2.4 Ubuntu build #5694: Pull request #2994 opened by gallais
44m 8s gallais:char-test
gallais:char-test
44m 8s
[ refactor ] v2.4-admissible version of #2952 Ubuntu build #5693: Pull request #2980 synchronize by gallais
15m 24s jamesmckinna:issue2845-v2.4
jamesmckinna:issue2845-v2.4
15m 24s
Ubuntu build Ubuntu build #5692: Merge group checks requested
45m 25s
45m 25s
Add stack configuration for GHC 9.12.4 (#2990) Ubuntu build #5691: Commit c2abce1 pushed by github-merge-queue Bot
44m 38s master
master
44m 38s
Ubuntu build Ubuntu build #5690: Merge group checks requested
37m 22s
37m 22s
Add stack configuration for GHC 9.12.4 Ubuntu build #5689: Pull request #2990 synchronize by shhyou
44m 15s shhyou:ghc-9124
shhyou:ghc-9124
44m 15s
Add Linked predicate transformer for guarded streams Ubuntu build #5688: Pull request #2993 synchronize by Taneb
40m 22s linked-streams
linked-streams
40m 22s
Add Linked predicate transformer for guarded streams Ubuntu build #5687: Pull request #2993 opened by Taneb
2m 44s linked-streams
linked-streams
2m 44s
Data.List.Base.all: fix warning Ubuntu build #5686: Pull request #2992 synchronize by Brian-ED
40m 34s Brian-ED:list-base-all-warning
Brian-ED:list-base-all-warning
40m 34s
CI: update experimental to Agda commit f3697415 Ubuntu build #5683: Commit 008f12c pushed by andreasabel
55m 32s experimental
experimental
55m 32s
Ubuntu build Ubuntu build #5682: Merge group checks requested
4h 13m 26s
4h 13m 26s
Add ∣m+n∣n⇒∣m to Data.Nat.Divisiblity Ubuntu build #5681: Pull request #2989 synchronize by Taneb
40m 4s divisibility-add-the-other-way
divisibility-add-the-other-way
40m 4s
Add stack configuration for GHC 9.12.4 Ubuntu build #5680: Pull request #2990 opened by shhyou
44m 38s shhyou:ghc-9124
shhyou:ghc-9124
44m 38s
Add ∣m+n∣n⇒∣m to Data.Nat.Divisiblity Ubuntu build #5679: Pull request #2989 opened by Taneb
47m 47s divisibility-add-the-other-way
divisibility-add-the-other-way
47m 47s
Fixes for agda/agda#8533: eta equality is no longer inferred Ubuntu build #5678: Pull request #2986 synchronize by andreasabel
53m 56s unguarded-eta-record
unguarded-eta-record
53m 56s
Fixes for agda/agda#8533: eta equality is no longer inferred Ubuntu build #5677: Pull request #2986 synchronize by andreasabel
7m 38s unguarded-eta-record
unguarded-eta-record
7m 38s
Fixes for agda/agda#8533: eta equality is no longer inferred Ubuntu build #5676: Pull request #2986 opened by andreasabel
7m 21s unguarded-eta-record
unguarded-eta-record
7m 21s
[ new ] Fin n as a refinement (#2975) Ubuntu build #5675: Commit 51e06a7 pushed by github-merge-queue Bot
44m 43s master
master
44m 43s
[ refactor ] make Relation.Binary.Morphism.Definitions obsolete (#2… Ubuntu build #5674: Commit b52ddca pushed by github-merge-queue Bot
44m 2s master
master
44m 2s
[ deprecate ] Relation/Binary.PropositionalEquality.inspect and `RE… Ubuntu build #5673: Commit 2f84dcc pushed by JacquesCarette
49m 4s experimental
experimental
49m 4s
Ubuntu build Ubuntu build #5672: Merge group checks requested
39m 24s
39m 24s