Skip to content

Actions: jamesmckinna/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ refactor ] Change definition of Data.Nat.Base._≤‴_ (#2518) Ubuntu build #7: Commit d5bb6cf pushed by jamesmckinna
December 22, 2024 12:57 53m 37s master
master
December 22, 2024 12:57 53m 37s
[ refactor ] Change definition of Data.Nat.Base._≤‴_ (#2518) Haskell-CI #4: Commit d5bb6cf pushed by jamesmckinna
December 22, 2024 12:57 3m 31s master
master
December 22, 2024 12:57 3m 31s
[ refactor ] Change definition of Data.Nat.Base._≤‴_ (#2518) Check whitespace #5: Commit d5bb6cf pushed by jamesmckinna
December 22, 2024 12:57 17s master
master
December 22, 2024 12:57 17s
Add IsIdempotentMonoid and IsCommutativeBand to `Algebra.Structur… Check whitespace #4: Commit ad0fb0e pushed by jamesmckinna
June 11, 2024 06:37 13s master
master
June 11, 2024 06:37 13s
Add IsIdempotentMonoid and IsCommutativeBand to `Algebra.Structur… Ubuntu build #6: Commit ad0fb0e pushed by jamesmckinna
June 11, 2024 06:37 35m 2s master
master
June 11, 2024 06:37 35m 2s
Port two Endomorphism submodules over to new Function hierarchy (#2342) Ubuntu build #5: Commit 08f24a6 pushed by jamesmckinna
June 7, 2024 13:50 52m 42s master
master
June 7, 2024 13:50 52m 42s
Port two Endomorphism submodules over to new Function hierarchy (#2342) Check whitespace #3: Commit 08f24a6 pushed by jamesmckinna
June 7, 2024 13:50 13s master
master
June 7, 2024 13:50 13s
Add the Setoid-based Monoid on (List, [], _++_) (#2393) Check whitespace #2: Commit 59d7b2e pushed by jamesmckinna
May 30, 2024 16:31 18s master
master
May 30, 2024 16:31 18s
Add the Setoid-based Monoid on (List, [], _++_) (#2393) Ubuntu build #4: Commit 59d7b2e pushed by jamesmckinna
May 30, 2024 16:31 34m 42s master
master
May 30, 2024 16:31 34m 42s
fixes #2390 (#2392) Haskell-CI #3: Commit 4da2da6 pushed by jamesmckinna
May 30, 2024 13:27 4m 44s master
master
May 30, 2024 13:27 4m 44s
fixes #2390 (#2392) Ubuntu build #3: Commit 4da2da6 pushed by jamesmckinna
May 30, 2024 13:27 53m 48s master
master
May 30, 2024 13:27 53m 48s
fixes #2390 (#2392) Check whitespace #1: Commit 4da2da6 pushed by jamesmckinna
May 30, 2024 13:27 2m 12s master
master
May 30, 2024 13:27 2m 12s
Setup for v2.1 (#2227) Haskell-CI #2: Commit 4437fcb pushed by jamesmckinna
December 13, 2023 18:52 3m 46s master
master
December 13, 2023 18:52 3m 46s
Setup for v2.1 (#2227) Ubuntu build #2: Commit 4437fcb pushed by jamesmckinna
December 13, 2023 18:52 52m 17s master
master
December 13, 2023 18:52 52m 17s