Add version constraints for coq-tactician-dummy to coq-tactician #250

Sign in to view logs

Summary
Jobs
- build
- deploy
Run details
- Usage
- Workflow file

Workflow file for this run

.github/workflows/ci.yml at 173ade2

File not found

The workflow file could not be found.