Change the ghdl docker build to use docker images from docker.io #975
This workflow is awaiting approval from a maintainer in #74
Triggered via pull request
October 24, 2024 20:26
sverrham
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #74
z3.yml
on: pull_request
z3
/
matrix
Matrix: z3 / jobs
Waiting for pending jobs