Skip to content

Remove the few instances of non-global hint declarations. #56

Remove the few instances of non-global hint declarations.

Remove the few instances of non-global hint declarations. #56

Annotations

11 warnings

build (coqorg/coq:dev)

succeeded Apr 7, 2024 in 3m 9s
Set up job
1s
Build coq-community/docker-coq-action@v1
8s
Run actions/checkout@v3
2s
Run coq-community/docker-coq-action@v1
2m 56s
Post Run actions/checkout@v3
0s
Complete job
0s