Skip to content

ci: make static lib and headers available in releases #191

ci: make static lib and headers available in releases

ci: make static lib and headers available in releases #191

Triggered via push July 20, 2023 09:02
Status Startup 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
Invalid workflow file: .github/workflows/build-and-test.yml#L73
The workflow is not valid. .github/workflows/build-and-test.yml (Line: 73, Col: 12): Job 'hacspec-to-fstar' depends on unknown job 'unit-tests'. .github/workflows/build-and-test.yml (Line: 106, Col: 12): Job 'build-static-lib-and-headers' depends on unknown job 'unit-tests'.