Check with latest Rzk

Merge pull request #57 from emilyriehl/add-paper-refs #269

Sign in to view logs

Triggered via push September 14, 2023 18:55

emilyriehl

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