CI

Use ubuntu-latest for lint job instead #65

Sign in to view logs

Triggered via pull request June 13, 2024 05:22

opened #57

potsrevennil:lint-runner

Status Success

Total duration 19m 44s

Billable time 14m

Artifacts –

ci.yml

on: pull_request

Matrix: build_kat

Matrix: cbmc

Matrix: lint