Skip to content

Actions: uncle-betty/agda

Actions

Build (cabal)

Actions

Loading...
Loading

Show workflow options

Create status badge

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