Skip to content

Merge branch 'trace-generation' of github.com:ftsrg/theta into trace-… #311

Merge branch 'trace-generation' of github.com:ftsrg/theta into trace-…

Merge branch 'trace-generation' of github.com:ftsrg/theta into trace-… #311

Triggered via push February 11, 2024 21:12
Status Failure
Total duration
Artifacts

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error
Error
No jobs defined in `jobs`