d-flex flex-column width-full">

regenerate

96e8f87

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

Dependabot Automerge on: pull_request

dependabot-automerge

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

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

CI (Coq, MacOS) on: pull_request 48

macOS 13 (x86_64)

macOS 14 (arm64)

combine-standalone

test-standalone (macos-13)

test-standalone (macos-14)

test-standalone (macos-latest)

test-standalone (-x86_64, macos-13)

test-standalone (-x86_64, macos-14)

test-standalone (-x86_64, macos-latest)

test-standalone (-arm64, macos-14)

test-standalone (-arm64, macos-latest)

publish-standalone

publish-standalone (-x86_64)

publish-standalone (-arm64)

macos-check-all

Test Generated C on: pull_request 10

test-c

Test Generated JSON on: pull_request

test-json

Test Generated Rust on: pull_request

test-rust

Build on no_std target (thumbv7em-none-eabi)

test-rust-check-all

CI (Coq, Windows) on: pull_request 4

windows

test-standalone

publish-standalone

windows-check-all

CI (Coq, Alpine) on: pull_request 2

alpine-edge

test-standalone-edge

publish-standalone

alpine-check-all

Test Generated Go on: pull_request 1

test-go

Test Generated Java on: pull_request

test-java

CI (Coq, Arch Linux) on: pull_request 2

archlinux

test-standalone

publish-standalone-dry-run

archlinux-check-all

Test Generated Zig on: pull_request

test-zig

CI (Coq, Debian) on: pull_request 8

debian-sid

test-standalone-host

test-standalone-container

publish-standalone-dry-run

debian-check-all

The logs for this run have expired and are no longer available.

Loading

Re-running jobs...