Fix two bugs: yen k=0 underflow, DfsReachable stack overflow #1201
samueltardieutests.yml
on: pull_request
Check
16s
cargo deny
18s
Extra tests in release mode
55s
Test with minimal versions
53s
Rustfmt
16s
Clippy
23s
Matrix: Test suite