Skip to content
Docker Image CI

logging: more debugging info for linear lemma (#62) #191

Sign in to view logs

logging: more debugging info for linear lemma (#62)

logging: more debugging info for linear lemma (#62) #191

Triggered via push October 19, 2023 14:21
@shankarapailoorshankarapailoor
pushed 695acd8
main
Status Success
Total duration 9m 29s
Artifacts –

docker-image.yml

on: push
Matrix: configuration-test
Matrix: main-test
wtns-test
1m 34s
wtns-test
misc-test
1m 36s
misc-test
Publish Docker image to DockerHub
1m 12s
Publish Docker image to DockerHub
Fit to window
Zoom out
Zoom in