CI

Build CBMC from source and add to nix CI cache #62

Sign in to view logs

Re-run triggered June 13, 2024 04:51

#56

mkannwischer:nixcache

Status Success

Total duration 2m 41s

Billable time 29m

Artifacts –

ci.yml

on: pull_request

Matrix: build_kat

Matrix: cbmc

Matrix: lint