Skip to content

Conversation

@jorisdral
Copy link
Collaborator

@jorisdral jorisdral commented Dec 9, 2025

We're probably not going to use these tests anyway

@jorisdral jorisdral force-pushed the jdral/cache-botan-build-dir branch from a6d18be to f14ce66 Compare December 9, 2025 10:48
@jorisdral jorisdral added the CI Continuous integration / GitHub Actions label Dec 9, 2025
@jorisdral jorisdral changed the title Jdral/cache botan build dir GHA: cache botan build directory Dec 9, 2025
@jorisdral jorisdral force-pushed the jdral/cache-botan-build-dir branch from f14ce66 to 26d39e1 Compare December 9, 2025 10:50
@jorisdral jorisdral self-assigned this Dec 9, 2025
@jorisdral jorisdral force-pushed the jdral/cache-botan-build-dir branch from 9c43432 to 196cd22 Compare December 9, 2025 11:47
@jorisdral jorisdral changed the title GHA: cache botan build directory GHA: remove test steps from the setup-botan action Dec 9, 2025
@jorisdral jorisdral marked this pull request as ready for review December 9, 2025 11:55
@jorisdral jorisdral force-pushed the jdral/cache-botan-build-dir branch from 196cd22 to 3cae0fe Compare December 9, 2025 13:12
@jorisdral jorisdral enabled auto-merge December 9, 2025 13:13
@jorisdral jorisdral added this pull request to the merge queue Dec 9, 2025
Merged via the queue into main with commit 4331628 Dec 9, 2025
34 checks passed
@jorisdral jorisdral deleted the jdral/cache-botan-build-dir branch December 9, 2025 13:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI Continuous integration / GitHub Actions

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants