Rocq

keccak: add example of translation #20

Sign in to view logs

Triggered via pull request May 27, 2025 10:35

clarus

opened #10

guillaume-claret@keccak-example

Status Failure

Total duration 6m 56s

Artifacts –

rocq.yml

on: pull_request

Matrix: build

Annotations

1 warning

build (x86_64-unknown-linux-gnu)

Failed to remove 'http.https://github.com/.extraheader' from the git config