Skip to content
Remote

Proposals for some coding conventions #670

Sign in to view logs

Proposals for some coding conventions

Proposals for some coding conventions #670

Triggered via pull request July 7, 2026 17:45
@gmalecha-at-skylabsgmalecha-at-skylabs
opened #255
gmalecha/rocq-style
Status Success
Total duration 9s
Artifacts –

sl-fm-ci.yml

on: pull_request
Trigger
5s
Trigger
Fit to window
Zoom out
Zoom in