Fix Coq tests (#349) #34

Sign in to view logs

Triggered via push April 13, 2024 16:38

whonore

main

Status Success

Total duration 25s

Artifacts –

python-tests.yml

on: push

Matrix: Python unit tests