Fix Rocq build: remove rocq-extraction (bundled in rocq-stdlib) #41
cuihtlauactest-oxcaml-image.yml
on: push
test-oxcaml
2m 34s
test-lsp
2m 34s
test-dune-pkg
6m 17s
test-vscode
9s
test-emacs
2m 31s
test-neovim
2m 34s
test-claude
2m 29s
test-summary
12s