Skip to content
fud2 tests

remove btor code #3337

Sign in to view logs

remove btor code

remove btor code #3337

Triggered via pull request November 5, 2024 14:10
@ekiwiekiwi
opened #2332
ekiwi:remove-btor
Status Success
Total duration 33s
Artifacts –

fud2.yml

on: pull_request
test
24s
test
Fit to window
Zoom out
Zoom in