Skip to content
CI

Use ubuntu-latest for lint job instead #68

Sign in to view logs

Use ubuntu-latest for lint job instead

Use ubuntu-latest for lint job instead #68

Triggered via pull request June 13, 2024 05:27
@potsrevennilpotsrevennil
synchronize #57
potsrevennil:lint-runner
Status Success
Total duration 23m 16s
Billable time 1m
Artifacts –

ci.yml

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

Annotations

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