Skip to content

Actions: uncle-betty/agda

Actions

Haddock

Actions

Loading...
Loading

Show workflow options

Create status badge

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