Test CBMC starter-kit by using coreHTTP

Use action-gh-release to replace deprecated upload-release-asset #238

Sign in to view logs

Triggered via pull request October 1, 2024 09:52

tautschnig

synchronize #219

tautschnig:replace-upload-release-asset

Status Success

Total duration 1m 25s

Artifacts –

makefile-test.yaml

on: pull_request

Matrix: run-tests