Skip to content
Test Executable

Modifying TPTPParser to pass on information regarding whether facts a… #91

Sign in to view logs

Modifying TPTPParser to pass on information regarding whether facts a…

Modifying TPTPParser to pass on information regarding whether facts a… #91

Triggered via push December 4, 2023 01:55
@JOSHCLUNEJOSHCLUNE
pushed ebd6f94
main
Status Success
Total duration 1h 15m 42s
Artifacts –

test_exe.yml

on: push
TestExe
1h 15m
TestExe
Fit to window
Zoom out
Zoom in