CI

switch to DeterminateSystems/magic-nix-cache-action #61

Sign in to view logs

Triggered via push June 13, 2024 03:53

nixcache

Status Success

Total duration 15m 9s

Billable time 27m

Artifacts –

ci.yml

on: push

Matrix: build_kat

Matrix: cbmc

Matrix: lint