Skip to content
Rust

Move ClauseIF to clause.rs; ClauseDB and ClauseDBIF to db.rs #2424

Sign in to view logs

Move ClauseIF to clause.rs; ClauseDB and ClauseDBIF to db.rs

Move ClauseIF to clause.rs; ClauseDB and ClauseDBIF to db.rs #2424

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
40s
40s