d-flex flex-column width-full">

bump rupicola

cdf2a80

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 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

CI (Coq, MacOS) on: pull_request 51

macOS 13 (x86_64)

macOS 14 (arm64)

combine-standalone

test-standalone

publish-standalone

macos-check-all

Test Generated Zig on: pull_request

test-zig

Test Generated C on: pull_request 10

test-c

Test Generated JSON on: pull_request

test-json

CI (Coq, Debian) on: pull_request 5

debian-sid

test-standalone-host

test-standalone-container

publish-standalone-dry-run

debian-check-all

Test Generated Java on: pull_request

test-java

CI (Coq, Arch Linux) on: pull_request 5

archlinux

test-standalone

publish-standalone-dry-run

archlinux-check-all

CI (Coq, Alpine) on: pull_request 4

alpine-edge

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

publish-standalone

alpine-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

Test Generated Rust on: pull_request

test-rust

Build on no_std target (thumbv7em-none-eabi)

test-rust-check-all

Annotations

2 errors

Makefile.coq:814: src/Bedrock/End2End/X25519/GarageDoorTop.v

Makefile.coq:814: src/Bedrock/End2End/X25519/GarageDoorTop.v

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

Loading

Re-running jobs...