Test CBMC starter-kit by using coreHTTP

Bump actions/download-artifact from 7 to 8 (#241) #340

Sign in to view logs

Triggered via push March 1, 2026 23:51

feliperodri

master

Status Success

Total duration 1m 23s

Artifacts –

makefile-test.yaml

on: push

Matrix: run-tests