Skip to content
CodeQL

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

Sign in to view logs

test: Replace difftest model with Quint=>MBT

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

Triggered via pull request December 5, 2023 14:34
@p-offtermattp-offtermatt
synchronize #1369
ph/mbt
Status Success
Total duration 11m 20s
Artifacts –

codeql-analysis.yml

on: pull_request
Analyze
11m 4s
Analyze
Fit to window
Zoom out
Zoom in