Update buildfiles with missing build dependencies. #835
This workflow is awaiting approval from a maintainer in #73
Triggered via pull request
October 24, 2024 20:17
sverrham
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #73
yices2.yml
on: pull_request
yices2
/
matrix
Matrix: yices2 / jobs
Waiting for pending jobs