Skip to content

Actions: jamesmckinna/agda-stdlib

Actions

Check whitespace

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
whitespace.yml
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ 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
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
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