Skip to content
formal

split into 2 lines to fix grep pipe error #8

Sign in to view logs

split into 2 lines to fix grep pipe error

split into 2 lines to fix grep pipe error #8

Triggered via push April 24, 2023 11:56
@mattvennmattvenn
pushed 79ca4c8
main
Status Success
Total duration 51s
Artifacts –

formal.yaml

on: push
formal
40s
formal
Fit to window
Zoom out
Zoom in