prism-model-checker: init at 4.8.1 #13433
Triggered via pull request
November 21, 2024 23:13
astrobeastie
astrobeastie
synchronize
#237540
Status
Success
Total duration
43s
Artifacts
–
editorconfig-v2.yml
on: pull_request_target
editorconfig-check
34s