Skip to content
Build Test

lightweight consistency check for SMT coloring #192

Sign in to view logs

lightweight consistency check for SMT coloring

lightweight consistency check for SMT coloring #192

Triggered via push August 28, 2024 09:11
@randriurandriu
pushed ea67f97
master
Status Success
Total duration 4m 22s
Artifacts –

buildtest.yml

on: push
Matrix: deploy
Fit to window
Zoom out
Zoom in