Skip to content
Build

Canonization and SAT cache #201

Sign in to view logs

Canonization and SAT cache

Canonization and SAT cache #201

Triggered via pull request February 20, 2024 20:55
@filipeomfilipeom
synchronize #76
rob
Status Success
Total duration 12m 59s
Artifacts –

build.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in