Skip to content
Rocq

Added sections about the dev container and coding style to 'CONTRIBUT… #72

Sign in to view logs

Added sections about the dev container and coding style to 'CONTRIBUT…

Added sections about the dev container and coding style to 'CONTRIBUT… #72

Triggered via push April 29, 2025 11:26
@dc-makdc-mak
pushed b4505ce
main
Status Success
Total duration 20m 5s
Artifacts –

rocq.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in