Test CBMC starter-kit by using coreHTTP

Use action-gh-release to replace deprecated upload-release-asset (#219) #239

Sign in to view logs

Triggered via push October 1, 2024 09:52

tautschnig

master

Status Success

Total duration 1m 26s

Artifacts –

makefile-test.yaml

on: push

Matrix: run-tests