Skip to content

Actions: uncle-betty/agda

Actions

Whitespace

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
whitespace.yml
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

reproducer for 'Should be a pair' Whitespace #116: Commit 2ec6b17 pushed by uncle-betty
October 18, 2024 02:35 26s master
master
October 18, 2024 02:35 26s
Refactor: use List1 in ShadowedModule Whitespace #115: Commit 59c0417 pushed by uncle-betty
September 16, 2024 13:45 22s master
master
September 16, 2024 13:45 22s
setup: Don't assume exe is built on --lib Whitespace #114: Commit 4f82f9b pushed by uncle-betty
September 7, 2024 15:58 23s master
master
September 7, 2024 15:58 23s
New error LocalQualifiedModule instead of GenericError Whitespace #113: Commit 20915c3 pushed by uncle-betty
September 2, 2024 08:38 26s master
master
September 2, 2024 08:38 26s
Make test/api/Makefile more robust Whitespace #112: Commit c436dd4 pushed by uncle-betty
August 20, 2024 13:16 26s master
master
August 20, 2024 13:16 26s
Comment out to silence HLint Whitespace #111: Commit 49e2915 pushed by uncle-betty
August 17, 2024 18:08 20s master
master
August 17, 2024 18:08 20s
Fresh CHANGELOG for 2.8.0 Whitespace #110: Commit 3a9d389 pushed by uncle-betty
July 15, 2024 17:08 43s master
master
July 15, 2024 17:08 43s
[ re #5805 #6841 ] Add noConstraints to check that type of with-fun… Whitespace #109: Commit 36d5ff3 pushed by uncle-betty
July 10, 2024 18:57 35s master
master
July 10, 2024 18:57 35s
fix #7337: foreign code needs to go in post-scope state Whitespace #108: Commit 20ad6b5 pushed by uncle-betty
June 29, 2024 15:18 21s master
master
June 29, 2024 15:18 21s
Fix #7304: Treat opaques as wildcards in instance tree (#7306) Whitespace #107: Commit 5a75f0b pushed by uncle-betty
June 8, 2024 15:48 23s master
master
June 8, 2024 15:48 23s
agdaLatex documentation (#7283) Whitespace #106: Commit 8c0af66 pushed by uncle-betty
May 19, 2024 02:55 26s master
master
May 19, 2024 02:55 26s
CI cosmetics Whitespace #105: Commit 00f4bb4 pushed by uncle-betty
April 20, 2024 11:24 24s master
master
April 20, 2024 11:24 24s
Commenting test for #7180 Whitespace #104: Commit 422b932 pushed by uncle-betty
March 18, 2024 10:10 32s master
master
March 18, 2024 10:10 32s
Fix #6945: warn about useless private even in absense of nice decls Whitespace #103: Commit 5781401 pushed by uncle-betty
March 2, 2024 17:41 28s master
master
March 2, 2024 17:41 28s
Revert "Janitorial Changes to agda-mode (#6536)" Whitespace #102: Commit d4ac6d0 pushed by uncle-betty
February 20, 2024 23:53 30s master
master
February 20, 2024 23:53 30s
[ cifm ] Pimp closed-issues-for-milestone: now includes PRs Whitespace #101: Commit 8a9ea33 pushed by uncle-betty
February 8, 2024 22:04 22s master
master
February 8, 2024 22:04 22s
Refactor flake.nix (#7032) Whitespace #100: Commit 6986b28 pushed by uncle-betty
January 3, 2024 13:59 24s master
master
January 3, 2024 13:59 24s
Break cross-module SCC 4 (#6897) Whitespace #99: Commit ee876ee pushed by uncle-betty
December 18, 2023 21:21 26s master
master
December 18, 2023 21:21 26s
issue7020: add note about compilation of irrelevant fields (#7026) Whitespace #98: Commit 8cf0bae pushed by uncle-betty
December 12, 2023 13:52 31s master
master
December 12, 2023 13:52 31s
Fixed #6999. Whitespace #97: Commit 4460544 pushed by uncle-betty
November 20, 2023 12:55 27s master
master
November 20, 2023 12:55 27s
[ fix #6941 ] Ignore abstract mode in getOutputTypeName (#6942) Whitespace #96: Commit 1630aee pushed by uncle-betty
October 29, 2023 19:18 26s master
master
October 29, 2023 19:18 26s
CI: disable size-solver-test because it rebuilds Agda Whitespace #95: Commit be28b6e pushed by uncle-betty
October 21, 2023 09:56 30s master
master
October 21, 2023 09:56 30s
Add record where syntax sugar (#6603) Whitespace #94: Commit a5cf525 pushed by uncle-betty
October 9, 2023 06:50 24s master
master
October 9, 2023 06:50 24s
CI: Bump GHC 9.6.2 to 9.6.3 Whitespace #93: Commit a0c0e58 pushed by uncle-betty
October 3, 2023 16:34 28s master
master
October 3, 2023 16:34 28s
Update CHANGELOG for 2.6.4-rc3 Whitespace #92: Commit 4b63a6e pushed by uncle-betty
October 1, 2023 19:59 27s master
master
October 1, 2023 19:59 27s