Usage Seal5-Build

s4e-cdsl-event #3

Sign in to view logs

Re-run triggered November 7, 2024 16:31

PhilippvK

Status Failure

Total duration 18s

Artifacts 2

seal5_build.yml

on: repository_dispatch

Matrix: build_seal5

trigger_etiss_example_build

Annotations

1 error

trigger_etiss_example_build

Not Found - https://docs.github.com/rest/actions/workflow-runs#list-workflow-runs-for-a-workflow