Skip to content

Promela Lexer: fix file extension typo, remove redundent parens #622

Promela Lexer: fix file extension typo, remove redundent parens

Promela Lexer: fix file extension typo, remove redundent parens #622

Triggered via pull request January 15, 2024 00:21
Status Success
Total duration 30s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in