Workflow test with everything included #5

Sign in to view logs

Summary
Jobs
- esbmc-test
Run details
- Usage
- Workflow file

Triggered via push August 7, 2024 14:26

Goblin57

master

Status Success

Total duration 36s

Artifacts –

workflow.yml

on: push