Skip to content

Add cpucap.h header and detect AArch64 systems #560

Add cpucap.h header and detect AArch64 systems

Add cpucap.h header and detect AArch64 systems #560

Triggered via pull request September 10, 2024 19:13
@hanno-beckerhanno-becker
synchronize #113
cpucap
Status Success
Total duration 11m 9s
Billable time 2m
Artifacts

ci.yml

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

Annotations

9 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 (ubuntu-latest (aarch64))
Failed to restore: Cache service responded with 429
build_kat (ubuntu-latest (aarch64))
Failed to restore: Cache service responded with 429
build_kat (MacOS)
Failed to restore: Cache service responded with 429
build_kat (MacOS)
Failed to restore: Cache service responded with 429
build_kat (ubuntu-latest (x86_64))
Failed to restore: Cache service responded with 429
build_kat (ubuntu-latest (x86_64))
Failed to restore: Cache service responded with 429
cbmc (macos-latest)
Failed to restore: Cache service responded with 429