Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Re-enable LambdaHack (LambdaHack/LambdaHack#300). #7171

Merged
merged 1 commit into from
Nov 13, 2023

Conversation

alaendle
Copy link
Member

@alaendle alaendle commented Nov 8, 2023

Checklist:

  • Meaningful commit message, eg add my-cool-package (please don't mention build-constraints.yml)
  • [ x At least 30 minutes have passed since uploading to Hackage
  • If applicable, required system libraries are added to 02-apt-get-install.sh or 03-custom-install.sh
  • (optional) Package is compatible with the latest version of all dependencies (Run cabal update && cabal outdated)
  • (optional) Package have been verified to work with the latest nightly snapshot, e.g by running the verify-package script

The script runs virtually the following commands in a clean directory:

  stack unpack $package-$version # `-$version` is optional
  cd $package-$version
  rm -f stack.yaml && stack init --resolver nightly --ignore-subdirs
  stack build --resolver nightly --haddock --test --bench --no-run-benchmarks

@Mikolaj
Copy link
Contributor

Mikolaj commented Nov 8, 2023

I think that should make package Allure legit again. In any case, thank you very much!

@alaendle
Copy link
Member Author

alaendle commented Nov 9, 2023

@Mikolaj - Allure will get re-enabled semi-automatically later - since the only constraint that holds it back is the currently missing LambdaHack - so as soon as LamdaHack is in nightly this should unblock Allure.

- Allure < 0 # tried Allure-0.11.0.0, but its *library* requires the disabled package: LambdaHack

@cdornan cdornan merged commit 077bbd3 into commercialhaskell:master Nov 13, 2023
1 check failed
@alaendle alaendle deleted the pr/LambdaHack branch February 5, 2024 06:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants