Test CBMC starter-kit by using coreHTTP

Bump actions/upload-artifact from 4 to 5 #282

Sign in to view logs

Triggered via pull request November 1, 2025 14:06

dependabot[bot]

labeled #233

dependabot/github_actions/actions/upload-artifact-5

Status Success

Total duration 3m 11s

Artifacts –

makefile-test.yaml

on: pull_request

Matrix: run-tests