Skip to content
Check with latest Rzk

broken dependent composition in inner families #270

Sign in to view logs

broken dependent composition in inner families

broken dependent composition in inner families #270

Triggered via push September 20, 2023 23:02
@jonweinbjonweinb
pushed cc2b1b2
jon-broken-depcomp
Status Failure
Total duration 30s
Artifacts –

rzk.yml

on: push
Check formalisations
18s
Check formalisations
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Check formalisations
Process completed with exit code 1.
Check formalisations
The process '/usr/bin/git' failed with exit code 128