Test CBMC starter-kit by using coreHTTP

Bump aws-actions/configure-aws-credentials from 4 to 5 (#228) #279

Sign in to view logs

Triggered via push October 2, 2025 10:29

tautschnig

master

Status Success

Total duration 3m 5s

Artifacts –

makefile-test.yaml

on: push

Matrix: run-tests