Skip to content
Proof

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

Sign in to view logs

Updated documentation re: the dev container and coding style.

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

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

proof.yml

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