Skip to content
CI

[DO NOT MERGE] Test pr #380

Sign in to view logs

[DO NOT MERGE] Test pr

[DO NOT MERGE] Test pr #380

Triggered via pull request September 5, 2024 10:10
@hanno-beckerhanno-becker
synchronize #103
test_pr
Status Success
Total duration 19m 7s
Billable time 2m
Artifacts –

ci.yml

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

Annotations

4 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 (ubuntu-latest)
Failed to restore: Cache service responded with 429
cbmc (ubuntu-latest)
Failed to restore: Cache service responded with 429