Skip to content
Style

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

Sign in to view logs

Updated documentation re: the dev container and coding style.

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

Triggered via pull request April 28, 2025 16:08
@aschwerdfeger-galoisaschwerdfeger-galois
opened #114
GaloisInc:doc/container-coding-style
Status Success
Total duration 1m 40s
Artifacts –

style.yml

on: pull_request
ClangFormat
22s
ClangFormat
Clang warnings
24s
Clang warnings
GCC warnings
19s
GCC warnings
ShellCheck
10s
ShellCheck
Matrix: OCamlFormat
Fit to window
Zoom out
Zoom in