Skip to content
Python Tests

Update Coq and CI versions (#336) #15

Sign in to view logs

Update Coq and CI versions (#336)

Update Coq and CI versions (#336) #15

Triggered via push January 28, 2024 16:08
@whonorewhonore
pushed 4514d0b
main
Status Success
Total duration 28s
Artifacts –

python-tests.yml

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