Skip to content

github: remove rt branch test; switch to mcs-devel.xml #2661

github: remove rt branch test; switch to mcs-devel.xml

github: remove rt branch test; switch to mcs-devel.xml #2661

Triggered via pull request July 19, 2024 02:12
@lsf37lsf37
synchronize #798
rt-proofs
Status Success
Total duration 54s
Artifacts

pr.yml

on: pull_request
Gitlint
36s
Gitlint
Trailing Whitespace
31s
Trailing Whitespace
Portable Shell
33s
Portable Shell
Style
45s
Style
Fit to window
Zoom out
Zoom in