Skip to content
Python Tests

Pass function instead of string to coqtail#start (#371) #73

Sign in to view logs

Pass function instead of string to coqtail#start (#371)

Pass function instead of string to coqtail#start (#371) #73

Python unit tests (3.6)

Python unit tests (3.6)
succeeded Sep 4, 2024 in 24s