Back to pull request #1853

[DO NOT MERGE] Bench garagedoor april #139

Sign in to view logs

Triggered via pull request April 6, 2024 05:08

opened #1853

andres-erbsen:bench-garagedoor-april

Status Failure

Total duration 1h 40m 5s

Artifacts 3

coq-archlinux.yml

on: pull_request

test-standalone

publish-standalone-dry-run

archlinux-check-all

Annotations

5 errors and 1 warning

archlinux: src/Bedrock/End2End/X25519/GarageDoorTop.v#L262

The variable MMIO was not found in the current environment.

Makefile.coq:848: src/Bedrock/End2End/X25519/GarageDoorTop.v

Makefile.coq:848: src/Bedrock/End2End/X25519/GarageDoorTop.v

Process completed with exit code 2.

archlinux-check-all

Process completed with exit code 1.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Artifacts

Produced during runtime

Name	Size
ExtractionHaskell-archlinux Expired	628 MB
ExtractionOCaml-archlinux Expired	2.67 GB
generated-files-archlinux Expired	4.72 MB