New Verilog samples / update to heuristics to distinguish from Coq #5959
This workflow is awaiting approval from a maintainer in #7493
Triggered via pull request
December 12, 2025 11:23
lildude
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #7493
ci.yml
on: pull_request
Classifier cross-validation
Test Dockerfile
Matrix: run
Waiting for pending jobs