Skip to content

Merge pull request #1121 from quangngd/ignore_predicate_name_when_impl #66

Merge pull request #1121 from quangngd/ignore_predicate_name_when_impl

Merge pull request #1121 from quangngd/ignore_predicate_name_when_impl #66

Triggered via push March 31, 2024 13:47
Status Failure
Total duration 9m 17s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

1 error
Compile & Run
Process completed with exit code 1.