CI

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

Sign in to view logs

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

Workflow file for this run

.github/workflows/ci.yml at 922ea0b

File not found

The workflow file could not be found.