Rocq

Updated documentation re: the dev container and coding style. #66

Sign in to view logs

Triggered via pull request April 28, 2025 16:08

aschwerdfeger-galois

opened #114

GaloisInc:doc/container-coding-style

Status Success

Total duration 27m 37s

Artifacts –

rocq.yml

on: pull_request

Matrix: build