Fix two bugs: yen k=0 underflow, DfsReachable stack overflow #1190
samueltardieutests.yml
on: pull_request
Check
17s
cargo deny
23s
Extra tests in release mode
52s
Test with minimal versions
50s
Rustfmt
13s
Clippy
37s
Matrix: Test suite