save proof independent settings, that are not used by the configuration #3787
This workflow is awaiting approval from a maintainer in #3700
Triggered via pull request
December 15, 2025 19:45
PiIsRational
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #3700
tests.yml
on: pull_request
Matrix: integration-tests
Waiting for pending jobs
Matrix: unit-tests
Waiting for pending jobs