Skip to content
CodeQL

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

Sign in to view logs

test: Replace difftest model with Quint=>MBT

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

Triggered via pull request December 8, 2023 09:55
@p-offtermattp-offtermatt
synchronize #1369
ph/mbt
Status Success
Total duration 11m 22s
Artifacts –

codeql-analysis.yml

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