Skip to content

Workflow test

Workflow test #11

Triggered via push August 7, 2024 14:58
Status Success
Total duration 20s
Artifacts

workflow.yml

on: push
esbmc-test
10s