d-flex flex-column width-full">

Adapt to rocq-prover/rocq#21987 (secvar status)

0fc02a0

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Sign in for the full log view

CI (Coq, docker, dev) on: pull_request 4

docker-master

validate-docker-master

build-js-of-ocaml (master, 4.11.1)

build-wasm-of-ocaml (master, 4.14.1)

generated-files (master)

standalone-haskell (master)

test-amd64

test-standalone (master, dev, default)

publish-standalone-dry-run

deploy-js-wasm-of-ocaml

docker-check-all

Test Generated Java on: pull_request

test-java

Update Opam Bounds on: pull_request

check-opam-bounds (pull_request)

update-opam-bounds

Test Generated C on: pull_request 2

test-c

Test Generated Zig on: pull_request 1

test-zig

CI (Coq, Debian) on: pull_request 3

debian-sid

test-standalone-host (sid)

test-standalone-container (sid)

publish-standalone-dry-run

debian-check-all

CI (Coq, Windows) on: pull_request 5

windows

test-standalone

publish-standalone

windows-check-all

Dependabot Automerge on: pull_request

dependabot-automerge

Test Generated Go on: pull_request 1

test-go

CI (Coq, MacOS) on: pull_request 45

macOS 15 (x86_64)

macOS 14 (arm64)

combine-standalone

test-standalone

publish-standalone

macos-check-all

CI (Coq, Arch Linux) on: pull_request 2

archlinux

test-standalone

publish-standalone-dry-run

archlinux-check-all

Test Generated JSON on: pull_request

test-json

CI (Coq, Alpine) on: pull_request 4

alpine-edge

test-standalone-edge

publish-standalone

alpine-check-all

Test Generated Rust on: pull_request

test-rust

Build on no_std target (thumbv7em-none-eabi)

test-rust-check-all

docker-master

succeeded May 27, 2026 in 1h 41m 42s

Loading

Re-running jobs...