CI

use ubuntu-latest for lint job instead (#57) #71

Sign in to view logs

Triggered via push June 13, 2024 06:31

main

Status Success

Total duration 2m 59s

Billable time 2m

Artifacts –

ci.yml

on: push

Matrix: build_kat

Matrix: cbmc

Matrix: lint