Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,169 workflow runs
3,169 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add a few algebraic structures missing from the Algebra.Construct.Pointwise Check whitespace #958: 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 Check whitespace #957: Pull request #2558 opened by jamesmckinna
January 16, 2025 18:46 19s jamesmckinna:issue2553
jamesmckinna:issue2553
January 16, 2025 18:46 19s
[ 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 Check whitespace #956: Pull request #2557 synchronize by jamesmckinna
January 16, 2025 18:39 15s jamesmckinna:issue2556
jamesmckinna:issue2556
January 16, 2025 18:39 15s
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
Add a few algebraic structures missing from the Algebra.Construct.Pointwise Check whitespace #955: Pull request #2555 synchronize by bsaul
January 16, 2025 15:52 15s bsaul:add-missing-pointwise
bsaul:add-missing-pointwise
January 16, 2025 15:52 15s
Update documentation from v2.2 release version to v2.3-dev Check whitespace #954: Pull request #2557 opened by jamesmckinna
January 16, 2025 15:06 19s jamesmckinna:issue2556
jamesmckinna:issue2556
January 16, 2025 15:06 19s
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
Add a few algebraic structures missing from the Algebra.Construct.Pointwise Check whitespace #953: Pull request #2555 opened by bsaul
January 16, 2025 14:35 17s bsaul:add-missing-pointwise
bsaul:add-missing-pointwise
January 16, 2025 14:35 17s
[ 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 Check whitespace #952: Pull request #2552 synchronize by jamesmckinna
January 16, 2025 08:49 20s jamesmckinna:issue2547
jamesmckinna:issue2547
January 16, 2025 08:49 20s
[ refactor ] rectify binder names in Relation.Binary.Definitions Check whitespace #951: Pull request #2552 opened by jamesmckinna
January 15, 2025 22:57 13s jamesmckinna:issue2547
jamesmckinna:issue2547
January 15, 2025 22:57 13s
[ 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
pages build and deployment pages-build-deployment #471: by github-pages bot
January 15, 2025 03:19 1m 22s gh-pages
gh-pages
January 15, 2025 03:19 1m 22s
cherry-picked by hand from #2542 (#2548) Check whitespace #950: Commit eb9615d pushed by github-merge-queue bot
January 15, 2025 02:25 19s master
master
January 15, 2025 02:25 19s
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
Check whitespace Check whitespace #949: Merge group checks requested
January 15, 2025 01:30 16s
January 15, 2025 01:30 16s
Ubuntu build Ubuntu build #3980: Merge group checks requested
January 15, 2025 01:30 54m 21s
January 15, 2025 01:30 54m 21s
Haskell-CI Haskell-CI #1932: Merge group checks requested
January 15, 2025 01:30 3m 20s
January 15, 2025 01:30 3m 20s
[ refactor ] Remove use of rewrite from Data.List.Membership.Propositional.Properties.Core Check whitespace #948: Pull request #2548 opened by jamesmckinna
January 14, 2025 12:59 12s jamesmckinna:refactor-propositional-list-membership
jamesmckinna:refactor-propositional-list-membership
January 14, 2025 12:59 12s
[ 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