Skip to content

Conversation

@jorisdral
Copy link
Collaborator

@jorisdral jorisdral commented Aug 18, 2025

This is almost full rewrite. The goal was to create a CI setup that builds and tests the botan packages for different GHC versions, on all three systems (Linux, Windows, MacOS), and for different Botan versions. This should now all work.

@jorisdral jorisdral self-assigned this Aug 18, 2025
@jorisdral jorisdral force-pushed the jdral/ci branch 22 times, most recently from 8b8a6f8 to 71b5435 Compare August 20, 2025 09:07
@jorisdral jorisdral changed the title WIP: CI experiments WIP: refactor CI Aug 20, 2025
@jorisdral jorisdral force-pushed the jdral/ci branch 6 times, most recently from 10a2002 to f6040db Compare August 20, 2025 13:12
@jorisdral jorisdral force-pushed the jdral/ci branch 16 times, most recently from d9694bd to 43012fd Compare August 26, 2025 15:47
@jorisdral jorisdral changed the title WIP: refactor CI Refactor CI Sep 16, 2025
@jorisdral jorisdral marked this pull request as ready for review September 16, 2025 14:34
@jorisdral jorisdral added the CI Continuous integration / GitHub Actions label Sep 16, 2025
This is almost full rewrite. The goal was to create a CI setup that builds and
tests the botan packages for different GHC versions, on all three systems
(Linux, Windows, MacOS), and for different Botan versions. This should now all
work.
... in haddock comments. The `WARNING` pragmas are somewhat inconvenient in
conjunction with `-Werror`. What would help is that since `ghc-9.12`, warnings
can be assigned to categories, and those categories can be ignored more
granularly. However, we support `ghc` versions down to and including `ghc-9.2`,
so warning categories are not an option for now.
We have created issue #33 to track that we should fix these test suites later.
@jorisdral jorisdral added the enhancement New feature or request label Sep 16, 2025
@jorisdral jorisdral merged commit 961b185 into main Sep 17, 2025
30 checks passed
@jorisdral jorisdral deleted the jdral/ci branch September 17, 2025 07:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI Continuous integration / GitHub Actions enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants