Skip to content
REUSE Compliance Check

Merge pull request #1049 from Po-Chun-Chien/update-btor2c-tool-info #429

Sign in to view logs

Merge pull request #1049 from Po-Chun-Chien/update-btor2c-tool-info

Merge pull request #1049 from Po-Chun-Chien/update-btor2c-tool-info #429

Triggered via push June 3, 2024 15:51
@PhilippWendlerPhilippWendler
pushed e22ca44
main
Status Success
Total duration 22s
Artifacts –

reuse.yml

on: push
check
13s
check
Fit to window
Zoom out
Zoom in