Skip to content
CI

Benchmarking on A55 #261

Sign in to view logs

Benchmarking on A55

Benchmarking on A55 #261

Triggered via pull request July 2, 2024 06:14
@mkannwischermkannwischer
synchronize #84
potsrevennil:bench-on-a55
Status Success
Total duration 12m 31s
Billable time 2m
Artifacts –

ci.yml

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

Annotations

8 warnings
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 (macos-latest)
Failed to restore: Cache service responded with 429
build_kat (pqcp-arm64)
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