Skip to content

add tests for SMV LTLSPEC #2496

add tests for SMV LTLSPEC

add tests for SMV LTLSPEC #2496

Re-run triggered September 25, 2024 12:44
Status Success
Total duration 1m 3s
Artifacts 1

pull-request-checks.yaml

on: pull_request
check-ubuntu-20_04-make-clang
1m 58s
check-ubuntu-20_04-make-clang
check-ubuntu-20_04-make-gcc
1m 21s
check-ubuntu-20_04-make-gcc
CentOS 8
58s
CentOS 8
check-macos-14-make-clang
2m 2s
check-macos-14-make-clang
Emscripten build
52s
Emscripten build
check-vs-2022-make-build-and-test
3m 26s
check-vs-2022-make-build-and-test
Fit to window
Zoom out
Zoom in