Update to latest rocq#18

Open

srghma wants to merge 8 commits into

logsem:masterfrom

Commits on Jul 22, 2026

feat: update to latest rocq -> nix check passes
Serhii Khoma
committed
feat: update to latest rocq -> sed /coq/rocq/
Serhii Khoma
committed
feat: update to latest rocq -> fix "make all && make html"
Serhii Khoma
committed
feat: update to latest rocq -> fix "make all && make html"
Serhii Khoma
committed
feat: update to latest rocq -> update vscode ext
Serhii Khoma
committed
feat: update to latest rocq -> dockerfiles
Serhii Khoma
committed
feat: update to latest rocq -> dockerfiles
Serhii Khoma
committed

Commits on Jul 24, 2026

feat: update to latest rocq -> to not deal with docker images deployments use rocq-prover/docker-opam-action@v1 (replace gawk with awk to avoid installing it in ci)
Serhii Khoma
committed