Skip to content
Docker Image CI

logging: more debugging info for linear lemma #188

Sign in to view logs

logging: more debugging info for linear lemma

logging: more debugging info for linear lemma #188

Triggered via pull request October 18, 2023 23:03
@soraweesorawee
opened #62
sorawee:detailed-linear-lemma
Status Success
Total duration 9m 18s
Artifacts –

docker-image.yml

on: pull_request
Matrix: configuration-test
Matrix: main-test
wtns-test
1m 27s
wtns-test
misc-test
1m 22s
misc-test
Publish Docker image to DockerHub
0s
Publish Docker image to DockerHub
Fit to window
Zoom out
Zoom in