Skip to content

Actions: agda/agda-stdlib

Actions

Ubuntu build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix #2195 by removing redundant zero from IsRing Ubuntu build #2505: Pull request #2209 synchronize by MatthewDaggitt
November 24, 2023 04:59 2m 15s ring-zero-bug
ring-zero-bug
November 24, 2023 04:59 2m 15s
Fixes #2166 by fixing names in IsSemilattice Ubuntu build #2504: Pull request #2211 opened by MatthewDaggitt
November 24, 2023 04:34 29m 2s lattice-names
lattice-names
November 24, 2023 04:34 29m 2s
Add biased versions of Function structures Ubuntu build #2503: Pull request #2210 opened by MatthewDaggitt
November 24, 2023 04:15 29m 7s function-biased-structures
function-biased-structures
November 24, 2023 04:15 29m 7s
Fix #2195 by removing redundant zero from IsRing Ubuntu build #2502: Pull request #2209 opened by MatthewDaggitt
November 24, 2023 03:24 28m 40s ring-zero-bug
ring-zero-bug
November 24, 2023 03:24 28m 40s
definition of Irreducible and Rough; refactoring of Prime and Composite cf. #2180 Ubuntu build #2501: Pull request #2181 synchronize by MatthewDaggitt
November 24, 2023 02:33 28m 36s jamesmckinna:issue2180
jamesmckinna:issue2180
November 24, 2023 02:33 28m 36s
Deprecating Relation.Binary.PropositionalEquality.isPropositional (… Ubuntu build #2499: Commit 61335e5 pushed by github-merge-queue bot
November 21, 2023 02:17 29m 19s master
master
November 21, 2023 02:17 29m 19s
Ubuntu build Ubuntu build #2498: Merge group checks requested
November 21, 2023 01:47 29m 24s
November 21, 2023 01:47 29m 24s
definition of Irreducible and Rough; refactoring of Prime and Composite cf. #2180 Ubuntu build #2497: Pull request #2181 synchronize by jamesmckinna
November 19, 2023 10:10 29m 52s jamesmckinna:issue2180
jamesmckinna:issue2180
November 19, 2023 10:10 29m 52s
definition of Irreducible and Rough; refactoring of Prime and Composite cf. #2180 Ubuntu build #2496: Pull request #2181 synchronize by jamesmckinna
November 18, 2023 11:15 28m 48s jamesmckinna:issue2180
jamesmckinna:issue2180
November 18, 2023 11:15 28m 48s
definition of Irreducible and Rough; refactoring of Prime and Composite cf. #2180 Ubuntu build #2495: Pull request #2181 synchronize by jamesmckinna
November 18, 2023 10:24 29m 0s jamesmckinna:issue2180
jamesmckinna:issue2180
November 18, 2023 10:24 29m 0s
definition of Irreducible and Rough; refactoring of Prime and Composite cf. #2180 Ubuntu build #2494: Pull request #2181 synchronize by jamesmckinna
November 18, 2023 09:24 28m 18s jamesmckinna:issue2180
jamesmckinna:issue2180
November 18, 2023 09:24 28m 18s
Deprecating Relation.Binary.PropositionalEquality.isPropositional Ubuntu build #2493: Pull request #2205 synchronize by jamesmckinna
November 17, 2023 13:58 30m 23s jamesmckinna:propositional-irrelevance
jamesmckinna:propositional-irrelevance
November 17, 2023 13:58 30m 23s
[fixes #2168] Change names in Algebra.Consequences.* to reflect style-guide conventions Ubuntu build #2492: Pull request #2206 opened by jamesmckinna
November 17, 2023 13:54 29m 40s jamesmckinna:consequences
jamesmckinna:consequences
November 17, 2023 13:54 29m 40s
Deprecating Relation.Binary.PropositionalEquality.isPropositional Ubuntu build #2491: Pull request #2205 synchronize by jamesmckinna
November 17, 2023 10:05 29m 18s jamesmckinna:propositional-irrelevance
jamesmckinna:propositional-irrelevance
November 17, 2023 10:05 29m 18s
Deprecating Relation.Binary.PropositionalEquality.isPropositional Ubuntu build #2490: Pull request #2205 opened by jamesmckinna
November 17, 2023 09:05 29m 1s jamesmckinna:propositional-irrelevance
jamesmckinna:propositional-irrelevance
November 17, 2023 09:05 29m 1s
[fixes #1711] Refactoring Data.Nat.Divisibility and Data.Nat.DivMod Ubuntu build #2489: Pull request #2182 synchronize by jamesmckinna
November 17, 2023 06:14 28m 56s jamesmckinna:issue1711
jamesmckinna:issue1711
November 17, 2023 06:14 28m 56s
definition of Irreducible and Rough; refactoring of Prime and Composite cf. #2180 Ubuntu build #2488: Pull request #2181 synchronize by jamesmckinna
November 17, 2023 05:54 29m 3s jamesmckinna:issue2180
jamesmckinna:issue2180
November 17, 2023 05:54 29m 3s
Add Function.Consequences.Setoid (#2191) Ubuntu build #2487: Commit 92f7925 pushed by github-merge-queue bot
November 17, 2023 02:24 29m 37s master
master
November 17, 2023 02:24 29m 37s
Ubuntu build Ubuntu build #2486: Merge group checks requested
November 17, 2023 01:54 29m 19s
November 17, 2023 01:54 29m 19s
[fixes #1711] Refactoring Data.Nat.Divisibility and Data.Nat.DivMod Ubuntu build #2485: Pull request #2182 synchronize by jamesmckinna
November 16, 2023 16:51 32m 40s jamesmckinna:issue1711
jamesmckinna:issue1711
November 16, 2023 16:51 32m 40s
[fixes #1711] Refactoring Data.Nat.Divisibility and Data.Nat.DivMod Ubuntu build #2484: Pull request #2182 synchronize by jamesmckinna
November 16, 2023 16:40 30m 34s jamesmckinna:issue1711
jamesmckinna:issue1711
November 16, 2023 16:40 30m 34s
definition of Irreducible and Rough; refactoring of Prime and Composite cf. #2180 Ubuntu build #2483: Pull request #2181 synchronize by jamesmckinna
November 16, 2023 15:44 30m 49s jamesmckinna:issue2180
jamesmckinna:issue2180
November 16, 2023 15:44 30m 49s
definition of Irreducible and Rough; refactoring of Prime and Composite cf. #2180 Ubuntu build #2482: Pull request #2181 synchronize by jamesmckinna
November 16, 2023 15:42 29m 46s jamesmckinna:issue2180
jamesmckinna:issue2180
November 16, 2023 15:42 29m 46s
definition of Irreducible and Rough; refactoring of Prime and Composite cf. #2180 Ubuntu build #2481: Pull request #2181 synchronize by jamesmckinna
November 16, 2023 15:08 30m 6s jamesmckinna:issue2180
jamesmckinna:issue2180
November 16, 2023 15:08 30m 6s
fix Connex comment (#2204) Ubuntu build #2480: Commit 1e3a519 pushed by github-merge-queue bot
November 16, 2023 06:58 29m 6s master
master
November 16, 2023 06:58 29m 6s
ProTip! You can narrow down the results and go further in time using created:<2023-11-16 or the other filters available.