Check with latest Rzk

Merge pull request #59 from emilyriehl/jon-broken-depcomp #276

Sign in to view logs

Triggered via push September 26, 2023 23:38

jonweinb

master

Status Success

Total duration 27s

Artifacts –

rzk.yml

on: push

Check formalisations

Annotations

1 warning

Check formalisations

The process '/usr/bin/git' failed with exit code 128