Skip to content
Back to pull request #219

Fix parsing for .smt2 files #669

Sign in to view logs

Fix parsing for .smt2 files

Fix parsing for .smt2 files #669

Triggered via pull request October 4, 2024 13:41
@filipeomfilipeom
synchronize #219
fix-parsing
Status Success
Total duration 7m 22s
Artifacts –

build.yml

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