Skip to content
Python Tests

Fix goals panel when no proof is active on Coq >= 8.16. (#337) #19

Sign in to view logs

Fix goals panel when no proof is active on Coq >= 8.16. (#337)

Fix goals panel when no proof is active on Coq >= 8.16. (#337) #19

Triggered via push February 17, 2024 13:44
@whonorewhonore
pushed e52c456
main
Status Success
Total duration 23s
Artifacts –

python-tests.yml

on: push
Matrix: Python unit tests
Fit to window
Zoom out
Zoom in