modules: Move feasibility/satisfiability checking into a new module #2253
This workflow is awaiting approval from a maintainer in #1285
Triggered via pull request
December 2, 2024 20:09
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #1285
main.yml
on: pull_request
Generate build matrix
Matrix: ci-checks
Waiting for pending jobs
Generate docker manifest