prism-model-checker: init at 4.8.1 #5411
Triggered via pull request
November 6, 2024 12:35
astrobeastie
astrobeastie
synchronize
#237540
Status
Success
Total duration
35s
Artifacts
–
nix-parse-v2.yml
on: pull_request_target
nix-files-parseable-check
25s