Skip to content
VCL-ESBMC-Test

Moved workflow #1

Sign in to view logs

Moved workflow

Moved workflow #1

Triggered via push August 7, 2024 13:53
@Goblin57Goblin57
pushed 514c6ad
master
Status Success
Total duration 17s
Artifacts –

workflow.yml

on: push
esbmc-test
7s
esbmc-test
Fit to window
Zoom out
Zoom in