Release

K Framework Release 4420/merge #1318

Sign in to view logs

Triggered via pull request June 6, 2024 09:31

tothtamas28

synchronize #4420

fix-pyk-docs

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/release.yml#L77

The workflow is not valid. .github/workflows/release.yml (Line: 77, Col: 29): Job 'gh-pages' depends on unknown job 'release'.