Skip to content

Merge branch 'merge-flambda-backend-post-501' into update-merlin-501 #123

Merge branch 'merge-flambda-backend-post-501' into update-merlin-501

Merge branch 'merge-flambda-backend-post-501' into update-merlin-501 #123

Triggered via push November 13, 2023 23:11
Status Failure
Total duration
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

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/emacs-lint.yml#L1
Invalid type for `job.strategy`