Skip to content

Merge pull request #437 from ublefo/promela #275

Merge pull request #437 from ublefo/promela

Merge pull request #437 from ublefo/promela #275

Triggered via push April 27, 2024 00:03
Status Success
Total duration 46s
Artifacts

rubocop.yml

on: push
Fit to window
Zoom out
Zoom in