Python Tests

Fix goals panel when no proof is active on Coq >= 8.16. #18

Sign in to view logs

Triggered via pull request February 17, 2024 13:38

whonore

synchronize #337

jesboat:fix-goals-when-no-proof

Status Success

Total duration 25s

Artifacts –

python-tests.yml

on: pull_request

Matrix: Python unit tests