Skip to content
CI

fix static compilation for benchmarking on a55 #394

Sign in to view logs

fix static compilation for benchmarking on a55

fix static compilation for benchmarking on a55 #394

Triggered via push September 5, 2024 10:27
@hanno-beckerhanno-becker
pushed 7037c9f
refactor-build-system
Status Success
Total duration 18m 30s
Billable time 2m
Artifacts –

ci.yml

on: push
Matrix: build_kat
Matrix: cbmc
Matrix: lint
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
lint (ubuntu-latest)
Failed to restore: Cache service responded with 429
lint (ubuntu-latest)
Failed to restore: Cache service responded with 429
build_kat (macos-latest)
Failed to restore: Cache service responded with 429
build_kat (pqcp-arm64)
Failed to restore: Cache service responded with 429
build_kat (ubuntu-latest)
Failed to restore: Cache service responded with 429
build_kat (ubuntu-latest)
Failed to restore: Cache service responded with 429
cbmc (macos-latest)
Failed to restore: Cache service responded with 429
cbmc (macos-latest)
Failed to restore: Cache service responded with 429
cbmc (ubuntu-latest)
Failed to restore: Cache service responded with 429
cbmc (ubuntu-latest)
Failed to restore: Cache service responded with 429