Build Test

Adding SMG model checker to payntbind #173

Sign in to view logs

Triggered via pull request July 14, 2024 22:37

synchronize #43

TheGreatfpmK:payntbind-smg

Status Success

Total duration 3m 58s

Artifacts –

buildtest.yml

on: pull_request

Matrix: deploy