Fix image generation for proof during TPTP3ProofProcesser · ontologyportal/sigmakee@579fc8f

Triggered via pull request February 23, 2025 07:33

synchronize #165

terry-norbraten:master

Status Success

Total duration 2m 0s

Artifacts –

qodana_code_quality.yml

on: pull_request

3 warnings

You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest

You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest

You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest