Skip to content

test: Replace difftest model with Quint=>MBT #4240

test: Replace difftest model with Quint=>MBT

test: Replace difftest model with Quint=>MBT #4240

Triggered via pull request November 30, 2023 11:48
@p-offtermattp-offtermatt
synchronize #1369
ph/mbt
Status Failure
Total duration 4m 19s
Artifacts

codeql.yml

on: pull_request
CodeQL-Build
37s
CodeQL-Build
Fit to window
Zoom out
Zoom in

Annotations

1 error
CodeQL-Build
We were unable to automatically build your code. Please replace the call to the autobuild action with your custom build steps. Encountered a fatal error while running "/opt/hostedtoolcache/CodeQL/2.15.3/x64/codeql/go/tools/autobuild.sh". Exit code was 1 and last log line was: 2023/11/30 11:52:55 Extraction failed: exit status 1. See the logs for more details.