d-flex flex-column width-full">

Bump rupicola from `59751db` to `9e0facd`

0e52403

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 Go on: push 1

test-go

Test Generated C on: push 10

test-c

Test Generated Zig on: push

test-zig

Test Generated Rust on: push

test-rust

Build on no_std target (thumbv7em-none-eabi)

test-rust-check-all

Test Generated Java on: push

test-java

Test Generated JSON on: push

test-json

Test Generated Java on: pull_request

test-java

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

CI (Coq, Alpine) on: pull_request 4

alpine-edge

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

publish-standalone

alpine-check-all

Test Generated Go on: pull_request 1

test-go

CI (Coq, Arch Linux) on: pull_request 5

archlinux

test-standalone

publish-standalone-dry-run

archlinux-check-all

Test Generated Zig on: pull_request

test-zig

Dependabot Automerge on: pull_request

dependabot-automerge

CI (Coq, Windows) on: pull_request 5

windows

test-standalone

publish-standalone

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

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 Rust on: pull_request

test-rust

Build on no_std target (thumbv7em-none-eabi)

test-rust-check-all

Annotations

1 warning

Restore cache failed: Dependencies file is not found in /home/runner/work/fiat-crypto/fiat-crypto. Supported file pattern: go.sum

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

Loading

Re-running jobs...