Mihai Maruseac
|
5c1a86d196
|
One more bound
check / Stackage check (push) Waiting to run
Signed-off-by: Mihai Maruseac <mihai.maruseac@gmail.com>
|
2025-07-30 09:49:22 -08:00 |
|
Jens Petersen
|
f2097cb9f5
|
filestore testsuite needs mercurial
check / Stackage check (push) Waiting to run
|
2025-08-28 17:09:07 +08:00 |
|
Jens Petersen
|
1adea475f6
|
commenter refresh with disabled gitit and filestore
|
2025-08-28 16:03:25 +08:00 |
|
Jens Petersen
|
de65545f62
|
need to bound generic-lens-core and generic-optics too (#7828)
|
2025-08-28 16:03:25 +08:00 |
|
Mihai Maruseac
|
eca260b580
|
Add bound on generic-lens (#7828)
Signed-off-by: Mihai Maruseac <mihai.maruseac@gmail.com>
|
2025-08-27 22:15:49 -07:00 |
|
Mihai Maruseac
|
7d1e563fbf
|
Enable orthotope and remove from gradnfathered
check / Stackage check (push) Waiting to run
Signed-off-by: Mihai Maruseac <mihai.maruseac@gmail.com>
|
2025-08-26 21:24:09 -07:00 |
|
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 |
|
dependabot[bot]
|
1b79a2c5cd
|
Bump actions/checkout from 4 to 5 (#7827)
Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 5.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](https://github.com/actions/checkout/compare/v4...v5)
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-version: '5'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
|
2025-08-26 21:15:48 -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
|
fbc305b3a6
|
Add the note about removing packages that hold newer versions of other packages
Signed-off-by: Mihai Maruseac <mihai.maruseac@gmail.com>
|
2025-08-09 09:49:22 -08:00 |
|
Mihai Maruseac
|
4d5473250d
|
s/strive/aim/g (#7824)
Signed-off-by: Mihai Maruseac <mihai.maruseac@gmail.com>
|
2025-08-20 00:39:42 -07:00 |
|
Jens Petersen
|
35af957868
|
README.md: refresh the package maintainer provisions (#7820)
[skip ci]
|
2025-08-20 00:32:58 -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
|
327cc2b4e8
|
run-nightly.sh: append date to completed msg
|
2025-08-18 10:06:30 +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 |
|
Jens Petersen
|
39306cb7ae
|
Merge pull request #7821 from gtollini/patch-4
Removing `webdriver-wrapper`
|
2025-08-18 09:20:11 +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
|
636be154a0
|
run-nightly.sh: output completion message
[skip ci]
|
2025-08-17 23:53:11 +08: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
|
dbc09f8c80
|
build.sh: try to disable hackage distro upload for lts-22 & 23
to prevent overwriting lts-24 data
|
2025-08-17 18:38:23 +08:00 |
|
Jens Petersen
|
006ce47787
|
README.md: stackage.org/#about
[skip ci]
|
2025-08-17 14:04:34 +08:00 |
|
Jens Petersen
|
20de730626
|
README.md: tweak stack via stackage
|
2025-08-17 14:03:08 +08:00 |
|
Jens Petersen
|
a3081ed82d
|
README.md: update stackage-server repo url
[skip-ci]
|
2025-08-17 13:57:15 +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
|
2600e2dd52
|
add cvc5 for liquid-fixpoint tests (#7819)
|
2025-08-16 17:44:00 +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
|
e37286cede
|
fixup build.sh: try skipping the curator/stack --version run
|
2025-08-16 16:51:00 +08:00 |
|
Jens Petersen
|
fa6fd006ab
|
docker image: drop ubuntu's older z3 in favor of upstream for now (#7819)
Since grisette tests need z3-4.12 or later
|
2025-08-16 16:28:13 +08:00 |
|
Jens Petersen
|
906381b200
|
docker image: switch to ubuntu's erlang (kofigumbs/codec-beam#49)
Looks like Ericsson dropped Bionic support
|
2025-08-16 16:14:23 +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
|
ed22b9fb93
|
docker image: fixup libjavascriptcoregtk-4
|
2025-08-16 15:44:48 +08:00 |
|
Jens Petersen
|
4955025a40
|
build.sh: try skipping the curator/stack --version run
|
2025-08-16 15:39:40 +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 |
|