Skip to content

Actions: agda/agda-stdlib

Actions

Ubuntu build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ refactor ] Add Data.Nat.SumAndProduct Ubuntu build #3994: Pull request #2558 synchronize by jamesmckinna
January 17, 2025 12:30 38m 54s jamesmckinna:issue2553
jamesmckinna:issue2553
January 17, 2025 12:30 38m 54s
[ refactor ] Add Data.Nat.SumAndProduct Ubuntu build #3993: Pull request #2558 synchronize by jamesmckinna
January 17, 2025 12:24 6m 52s jamesmckinna:issue2553
jamesmckinna:issue2553
January 17, 2025 12:24 6m 52s
Update documentation from v2.2 release version to v2.3-dev Ubuntu build #3992: Pull request #2557 synchronize by jamesmckinna
January 17, 2025 08:13 37m 55s jamesmckinna:issue2556
jamesmckinna:issue2556
January 17, 2025 08:13 37m 55s
Update documentation from v2.2 release version to v2.3-dev Ubuntu build #3991: Pull request #2557 synchronize by jamesmckinna
January 17, 2025 08:10 38m 14s jamesmckinna:issue2556
jamesmckinna:issue2556
January 17, 2025 08:10 38m 14s
Add a few algebraic structures missing from the Algebra.Construct.Pointwise Ubuntu build #3990: Pull request #2555 synchronize by bsaul
January 16, 2025 20:25 Action required bsaul:add-missing-pointwise
bsaul:add-missing-pointwise
January 16, 2025 20:25 Action required
[ refactor ] Add Data.Nat.SumAndProduct Ubuntu build #3989: Pull request #2558 opened by jamesmckinna
January 16, 2025 18:46 19m 50s jamesmckinna:issue2553
jamesmckinna:issue2553
January 16, 2025 18:46 19m 50s
Update documentation from v2.2 release version to v2.3-dev Ubuntu build #3988: Pull request #2557 synchronize by jamesmckinna
January 16, 2025 18:39 38m 6s jamesmckinna:issue2556
jamesmckinna:issue2556
January 16, 2025 18:39 38m 6s
Add a few algebraic structures missing from the Algebra.Construct.Pointwise Ubuntu build #3987: Pull request #2555 synchronize by bsaul
January 16, 2025 15:52 37m 37s bsaul:add-missing-pointwise
bsaul:add-missing-pointwise
January 16, 2025 15:52 37m 37s
Update documentation from v2.2 release version to v2.3-dev Ubuntu build #3986: Pull request #2557 opened by jamesmckinna
January 16, 2025 15:06 38m 18s jamesmckinna:issue2556
jamesmckinna:issue2556
January 16, 2025 15:06 38m 18s
Add a few algebraic structures missing from the Algebra.Construct.Pointwise Ubuntu build #3985: Pull request #2555 opened by bsaul
January 16, 2025 14:35 38m 24s bsaul:add-missing-pointwise
bsaul:add-missing-pointwise
January 16, 2025 14:35 38m 24s
[ refactor ] rectify binder names in Relation.Binary.Definitions Ubuntu build #3984: Pull request #2552 synchronize by jamesmckinna
January 16, 2025 08:49 39m 50s jamesmckinna:issue2547
jamesmckinna:issue2547
January 16, 2025 08:49 39m 50s
[ refactor ] rectify binder names in Relation.Binary.Definitions Ubuntu build #3983: Pull request #2552 opened by jamesmckinna
January 15, 2025 22:57 38m 20s jamesmckinna:issue2547
jamesmckinna:issue2547
January 15, 2025 22:57 38m 20s
cherry-picked by hand from #2542 (#2548) Ubuntu build #3982: Commit eb9615d pushed by github-merge-queue bot
January 15, 2025 02:25 53m 26s master
master
January 15, 2025 02:25 53m 26s
Update documentation for v2.2 release Ubuntu build #3981: Commit 6cd04e4 pushed by MatthewDaggitt
January 15, 2025 01:45 53m 27s v2.2-release
v2.2-release
January 15, 2025 01:45 53m 27s
Ubuntu build Ubuntu build #3980: Merge group checks requested
January 15, 2025 01:30 54m 21s
January 15, 2025 01:30 54m 21s
[ refactor ] Remove use of rewrite from Data.List.Membership.Propositional.Properties.Core Ubuntu build #3979: Pull request #2548 opened by jamesmckinna
January 14, 2025 12:59 54m 3s jamesmckinna:refactor-propositional-list-membership
jamesmckinna:refactor-propositional-list-membership
January 14, 2025 12:59 54m 3s
[ refactor ] proofs under Data.List.Membership.*.Properties Ubuntu build #3978: Pull request #2545 synchronize by jamesmckinna
January 14, 2025 12:40 38m 52s jamesmckinna:issue2542
jamesmckinna:issue2542
January 14, 2025 12:40 38m 52s
[ refactor ] proofs under Data.List.Membership.*.Properties Ubuntu build #3977: Pull request #2545 synchronize by jamesmckinna
January 14, 2025 12:23 38m 7s jamesmckinna:issue2542
jamesmckinna:issue2542
January 14, 2025 12:23 38m 7s
Ubuntu build Ubuntu build #3976: Merge group checks requested
January 14, 2025 08:57 52m 39s
January 14, 2025 08:57 52m 39s
agda/agda#7674 eta-expand fields in record expression Ubuntu build #3975: Pull request #2546 synchronize by andreasabel
January 13, 2025 08:59 52m 42s agda-pr-7674
agda-pr-7674
January 13, 2025 08:59 52m 42s
agda/agda#7674 eta-expand fields in record expression Ubuntu build #3974: Pull request #2546 opened by andreasabel
January 13, 2025 08:03 18m 11s agda-pr-7674
agda-pr-7674
January 13, 2025 08:03 18m 11s
[ refactor ] proofs under Data.List.Membership.*.Properties Ubuntu build #3973: Pull request #2545 synchronize by jamesmckinna
January 12, 2025 17:31 52m 53s jamesmckinna:issue2542
jamesmckinna:issue2542
January 12, 2025 17:31 52m 53s
[ refactor ] proofs under Data.List.Membership.*.Properties Ubuntu build #3972: Pull request #2545 synchronize by jamesmckinna
January 12, 2025 17:22 52m 37s jamesmckinna:issue2542
jamesmckinna:issue2542
January 12, 2025 17:22 52m 37s
[ refactor ] proofs under Data.List.Membership.*.Properties Ubuntu build #3971: Pull request #2545 opened by jamesmckinna
January 12, 2025 16:17 22m 43s jamesmckinna:issue2542
jamesmckinna:issue2542
January 12, 2025 16:17 22m 43s
Fix the indentation of a few lines in CHANGELOG (#2543) Ubuntu build #3970: Commit 2affb9c pushed by github-merge-queue bot
January 4, 2025 13:56 40m 24s master
master
January 4, 2025 13:56 40m 24s