Split tests into separate job - Githubissues

AU-COBRA / coq-rust-extraction

Coq plugin for extracting Rust code

MIT License

10 stars 3 forks source link

Split tests into separate job #24

Closed 4ever2 closed 3 months ago