d-flex flex-column width-full">

Merge branch 'master' into replace-coq-makefile

dd1e0fd

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

Test Generated Java on: pull_request 1

test-java

Dependabot Automerge on: pull_request

dependabot-automerge

CI (Coq, MacOS) on: pull_request 5

macOS 15 (x86_64)

macOS 14 (arm64)

combine-standalone

test-standalone

publish-standalone

macos-check-all

CI (Coq, Windows) on: pull_request 5

windows

test-standalone

publish-standalone

windows-check-all

CI (Coq, Alpine) on: pull_request 6

alpine-edge

test-standalone-${{ matrix.alpine }}

publish-standalone

alpine-check-all

Test Generated C on: pull_request 3

test-c

CI (Coq, Debian) on: pull_request 5

debian-sid

test-standalone-host

test-standalone-container

publish-standalone-dry-run

debian-check-all

Test Generated Zig on: pull_request 1

test-zig

Test Generated Go on: pull_request 2

test-go

CI (Coq, Arch Linux) on: pull_request 5

archlinux

test-standalone

publish-standalone-dry-run

archlinux-check-all

Update Opam Bounds on: pull_request

check-opam-bounds (pull_request)

update-opam-bounds

Test Generated Rust on: pull_request

test-rust

Build on no_std target (thumbv7em-none-eabi)

test-rust-check-all

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

docker-master

validate-docker-${{ matrix.env.COQ_VERSION }}

build-js-of-ocaml

build-wasm-of-ocaml

generated-files

standalone-haskell

test-amd64

test-standalone

publish-standalone-dry-run

deploy-js-wasm-of-ocaml

docker-check-all

Test Generated JSON on: pull_request 1

test-json

Annotations

1 error

make only-test-java-files

Process completed with exit code 2.

test-java

failed May 13, 2026 in 25s

Loading

Re-running jobs...