CI (Coq, Debian)

Bump rupicola from `941374a` to `d55f2d7` #921

Sign in to view logs

Annotations

2 errors and 3 warnings

Process completed with exit code 2.

Process completed with exit code 100.

No files were found with the provided path: src/ExtractionJsOfOCaml. No artifacts will be uploaded.

No files were found with the provided path: src/ExtractionHaskell. No artifacts will be uploaded.

No files were found with the provided path: src/ExtractionOCaml. No artifacts will be uploaded.

The logs for this run have expired and are no longer available.