Skip to content

Run opt/non-opt in CI #724

Run opt/non-opt in CI

Run opt/non-opt in CI #724

Triggered via pull request September 12, 2024 15:52
Status Success
Total duration 11m 14s
Billable time 2m
Artifacts

ci.yml

on: pull_request
Matrix: build_kat
Matrix: CBMC
Matrix: Linting
Fit to window
Zoom out
Zoom in

Annotations

13 warnings
Linting (ubuntu-latest)
Failed to restore: Cache service responded with 429
Linting (ubuntu-latest)
Failed to restore: Cache service responded with 429
Functional tests (ubuntu-latest (aarch64))
Failed to restore: Cache service responded with 429
Functional tests (ubuntu-latest (aarch64))
Failed to restore: Cache service responded with 429
Functional tests (ubuntu-latest (aarch64))
Magic Nix Cache is already running, this workflow job is in noop mode. Is the Magic Nix Cache in the workflow twice?
Functional tests (MacOS)
Failed to restore: Cache service responded with 429
Functional tests (MacOS)
Failed to restore: Cache service responded with 429
Functional tests (MacOS)
Magic Nix Cache is already running, this workflow job is in noop mode. Is the Magic Nix Cache in the workflow twice?
Functional tests (ubuntu-latest (x86_64))
Failed to restore: Cache service responded with 429
Functional tests (ubuntu-latest (x86_64))
Failed to restore: Cache service responded with 429
Functional tests (ubuntu-latest (x86_64))
Magic Nix Cache is already running, this workflow job is in noop mode. Is the Magic Nix Cache in the workflow twice?
CBMC (macos-latest)
Failed to restore: Cache service responded with 429
CBMC (macos-latest)
Failed to restore: Cache service responded with 429