Skip to content
Build the application with Cargo

formatting all variables with trailing _<SORT> for TPTP compliance #360

Sign in to view logs

formatting all variables with trailing _<SORT> for TPTP compliance

formatting all variables with trailing _<SORT> for TPTP compliance #360

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (stable)
48s
build (beta)
56s
build (nightly)
57s
build (1.75.0)
57s
3m 38s