Skip to content
CI

Mark some versions of menhirlib as incompatible with Coq 8.19. #1744

Sign in to view logs

Mark some versions of menhirlib as incompatible with Coq 8.19.

Mark some versions of menhirlib as incompatible with Coq 8.19. #1744

Triggered via pull request February 19, 2025 14:48
@silenesilene
opened #3349
silene:menhirlib
Status Success
Total duration 1m 32s
Artifacts –

ci.yml

on: pull_request
build
1m 20s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in