Commit Graph

16654 Commits

Author SHA1 Message Date
Mihai Maruseac
66ea208d0c
Remove non-existent flags
Signed-off-by: Mihai Maruseac <mihai.maruseac@gmail.com>
2025-08-26 21:17:46 -07:00
Mikolaj Konarski
9e2296e6f8
Add orthotope, dependent-enummap and ox-arrays to nightly (#7799) 2025-08-26 21:16:34 -07:00
Taylor Fausak
5bc4046017
Remove rattletrap (#7826) 2025-08-21 09:07:08 -07:00
Mihai Maruseac
0b7286d36e
Remove upper bound as #7825 fixes #7823
Signed-off-by: Mihai Maruseac <mihai.maruseac@gmail.com>
2025-08-21 00:52:04 -07:00
Taylor Fausak
f5bca4664c
Add heck (#7825) 2025-08-21 00:50:53 -07:00
Mihai Maruseac
ea2d2d13d7
Add an upper bound to saturn (#7823)
Signed-off-by: Mihai Maruseac <mihai.maruseac@gmail.com>
2025-08-19 22:40:29 -07:00
Jens Petersen
6879872feb remove my pdc: no longer useful
also marked it deprecated in Hackage

[skip ci]
2025-08-18 18:33:25 +08:00
Jens Petersen
862b311468 expected-test-failures: order jsaddle correctly
[skip ci]
2025-08-18 15:58:55 +08:00
Jens Petersen
c61299d5d8 jose < 0.12 (#7822) 2025-08-18 13:38:03 +08:00
Jens Petersen
3cc7a3c4ad disable sydtest-webdriver & sydtest-webdriver-screenshot (NorfairKing/sydtest#112)
fail to build with webdriver-0.13
2025-08-18 10:03:17 +08:00
Jens Petersen
dc207b1712 allow webdriver-0.13 by disabling hspec-webdriver (closes #7817)
https://github.com/dfordivam/hspec-webdriver-clone/issues/5
2025-08-18 09:38:27 +08:00
Gabriel Tollini
7b89ccdaf3
Removing webdriver-wrapper
The `webdriver-wrapper` library was made redundant by `webdriver` upgrades.
2025-08-17 19:01:45 -03:00
Jens Petersen
5042f73b57 Revert "keep happy at 2.1.6 until happy-lib-2.1.7" (haskell/happy#343)
This reverts commit b2426a5653.
2025-08-17 18:40:27 +08:00
Jens Petersen
b2426a5653 keep happy at 2.1.6 until happy-lib-2.1.7 is released (haskell/happy#343) 2025-08-17 13:15:43 +08:00
Jens Petersen
f9426cda3b liquid-fixpoint testsuite fails outside git (ucsd-progsys/liquid-fixpoint#760) 2025-08-16 21:36:57 +08:00
Jens Petersen
330ae18d01 Revert "allow webdriver-0.13 by disabling webdriver-wrapper (#7817)"
since hspec-webdriver fails to build (dfordivam/hspec-webdriver-clone#5)

This reverts commit 4f94221430.
2025-08-16 21:09:51 +08:00
Jens Petersen
911f07da92 webdriver testsuite needs nix (#7817) 2025-08-16 20:17:28 +08:00
Jens Petersen
4f94221430 allow webdriver-0.13 by disabling webdriver-wrapper (#7817)
See also https://github.com/gtollini/webdriver-wrapper/issues/2
2025-08-16 17:22:38 +08:00
Jens Petersen
5959893411 use liquid-fixpoint < 8.10.7, which is deprecated (#7819) 2025-08-16 15:52:24 +08:00
Jens Petersen
e3543e25f0
Merge pull request #7819 from ulysses4ever/liquidhaskell-nightly
re-enable liquidhaskell
2025-08-16 15:37:29 +08:00
Jens Petersen
099b34fcd8 grisette < 0 (lsrcz/grisette#307) 2025-08-16 13:29:03 +08:00
Artem Pelenitsyn
5162c88b90 re-enable liquidhaskell 2025-08-15 13:36:47 -04:00
Jens Petersen
b837951b25 sandwich-webdriver < 0.4 (#7817) 2025-08-13 21:55:40 +08:00
Jens Petersen
2cee3a8377 webdriver < 0.13 (#7817) 2025-08-13 19:24:23 +08:00
Jens Petersen
4be0a2865e enable bugzilla-redhat and fbrnch 2025-08-12 19:25:50 +08:00
Jens Petersen
bd37f5e31d
Merge pull request #7816 from dschrempf/elynx-0.9
elynx: build errors should be fixed in 0.9.0.0
2025-08-12 12:30:07 +08:00
Jens Petersen
91cca2e2eb re-disable tasty-sugar since it needs kvitable (kquick/kvitable#7) 2025-08-11 17:19:42 +08:00
Jens Petersen
d1edf1ccde quickcheck-state-machine < 0 (stevana/quickcheck-state-machine#55) 2025-08-11 17:06:57 +08:00
Dominik Schrempf
791313352d
elynx: build errors should be fixed in 0.9.0.0
adpated to random 1.3
2025-08-11 09:38:37 +02:00
Jens Petersen
00096aa01e mass bounds refresh with commenter 2025-08-11 14:46:44 +08:00
Jens Petersen
b7d3750e63 Revert "HPDF < 1.8 (#7815)"
This reverts commit 8c6b534845.
2025-08-11 14:37:51 +08:00
Jens Petersen
8c6b534845 HPDF < 1.8 (#7815) 2025-08-11 14:25:03 +08:00
Janus Troelsen
1a1451dade Re-enable postgresql-simple 2025-08-05 09:31:37 -06:00
Jens Petersen
c7b9cc3d3a
Merge pull request #7813 from sternenseemann/filepath-bytestring-1.5.2.0.3
Reenable filepath-bytestring
2025-08-05 17:12:05 +08:00
sternenseemann
600caef3d2 Reenable filepath-bytestring
filepath 1.5.2.0.3 adds support for base and filepath of GHC 9.12.
Unfortunately I've missed that QuickCheck 2.16 has been released, so I
didn't submit a constraint relaxing patch for that, but I'll do that
soon.

I haven't been able to use verify-package with these changes, but
./check agrees that the bounds are okay.
2025-08-04 19:25:19 +02:00
Mitchell Dalvi Rosen
d297cbef40
Add back strict-tuple 2025-08-03 18:37:55 -04:00
ˌbodʲɪˈɡrʲim
f0b1732309
Remove upper bound for hackage-revdeps 2025-07-30 23:30:47 +01:00
Dan Burton
02866a1ef8
Revert "try expecting ANum tests to pass, again"
This reverts commit 861e7911f7.
2025-07-30 14:50:48 -07:00
Dan Burton
861e7911f7
try expecting ANum tests to pass, again 2025-07-30 14:29:12 -07:00
Jens Petersen
5d59787a3f dataframe < 0.3.0.1 (#7810)
fixup of 11c261f2
2025-07-30 21:12:57 +08:00
Jens Petersen
11c261f2fd statistics < 0.16.3 (#7810) for dataframe 2025-07-30 21:00:49 +08:00
Jens Petersen
bacc3c249f pandoc-lua-engine was revised for hslua-2.4 (closes #7784) 2025-07-30 21:00:49 +08:00
Jens Petersen
fdf7d7e529
Merge pull request #7807 from andreasabel/GLUT
Reenable GLUT and its dependants
2025-07-30 20:53:06 +08:00
Alexey Zabelin
2e636b5c09 Expect test failure for ANum, #7809 2025-07-25 12:42:35 -07:00
Andreas Abel
9fc980b370 Reenable GLUT and its dependants
See issue #7806.
2025-07-25 10:30:00 +02:00
Alexey Zabelin
5a7ecc4f87
Merge pull request #7808 from YoshikuniJujo/master
reenable typecheck-plugin-nat-simple and ranged-list
2025-07-24 23:16:06 -07:00
Alexey Zabelin
19edcbc6da
Merge pull request #7803 from mpilgrem/pilgrem
Add crypton-asn1-encoding, crypton-asn1-parse, time-hourglass
2025-07-24 23:15:43 -07:00
Alexey Zabelin
d7a1ffa9b0
Merge pull request #7805 from LaurentRDC/patch-2
Notify LaurentRDC for beam-* related things
2025-07-24 23:14:38 -07:00
Alexey Zabelin
5b10fcb9f9
Merge pull request #7804 from andreasabel/goldplate
Reenable goldplate
2025-07-24 23:14:14 -07:00
Alexey Zabelin
0831664a7d
Merge pull request #7802 from rhendric/rhendric/coerce-with-substitution
add coerce-with-substitution
2025-07-24 23:13:54 -07:00