Skip to content
Checks

Refactored method for loading rule tooltip images, new Equivalence sub category, adjacency generalization, updated quantifier parsing and split quantifier distribution #238

Sign in to view logs

Refactored method for loading rule tooltip images, new Equivalence sub category, adjacency generalization, updated quantifier parsing and split quantifier distribution

Refactored method for loading rule tooltip images, new Equivalence sub category, adjacency generalization, updated quantifier parsing and split quantifier distribution #238

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cargo test
1m 17s
cargo clippy
45s
cargo fmt
3s
2m 5s