CI

CI: Split jobs for Linting and Build+KAT #1

Sign in to view logs

Triggered via push June 6, 2024 04:11

pqcp_arm64_runner

Status Success

Total duration 3m 51s

Billable time 2m

Artifacts –

ci.yml

on: push

Matrix: build_kat

Matrix: cbmc

Matrix: lint