Skip to content
CI

FOOL proofs TPTP compliant #1130

Sign in to view logs

FOOL proofs TPTP compliant

FOOL proofs TPTP compliant #1130

Triggered via pull request October 4, 2023 13:16
@quickbeam123quickbeam123
opened #485
martin-fool-proofs-tptp-compliant
Status Success
Total duration 24m 31s
Artifacts –

CI.yml

on: pull_request
build
24m 18s
build
Fit to window
Zoom out
Zoom in