Skip to content
Rocq

Minimize the indexes in function indexes #18

Sign in to view logs

Minimize the indexes in function indexes

Minimize the indexes in function indexes #18

Triggered via pull request May 19, 2025 13:52
@clarusclarus
synchronize #8
guillaume-claret@user-shorter-index-for-generated-names
Status Success
Total duration 7m 11s
Artifacts –

rocq.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build (x86_64-unknown-linux-gnu)
Failed to remove 'http.https://github.com/.extraheader' from the git config