Run Tests

New Verilog samples / update to heuristics to distinguish from Coq #5961

Sign in to view logs

Re-run triggered December 12, 2025 11:27

lildude

#7493

r-hensley:main

Status Success

Total duration 5m 44s

Artifacts –

ci.yml

on: pull_request

Test Dockerfile

Classifier cross-validation

Matrix: run