Skip to content

Upgrade to Rocq 9.2#14

Merged
artagnon merged 1 commit into
artagnon:masterfrom
olympichek:rocq-9.2
May 15, 2026
Merged

Upgrade to Rocq 9.2#14
artagnon merged 1 commit into
artagnon:masterfrom
olympichek:rocq-9.2

build/ci: upgrade to Rocq 9.2

c5906c5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build
succeeded May 9, 2026 in 30m 58s