Skip to content
.github/workflows/hypatia-scan.yml

feat(tg-1): let-binding + de Bruijn substitution metatheory #131

Sign in to view logs

feat(tg-1): let-binding + de Bruijn substitution metatheory

feat(tg-1): let-binding + de Bruijn substitution metatheory #131

Triggered via pull request June 12, 2026 23:41
@hyperpolymathhyperpolymath
#44
claude/hopeful-fermi-iXnba
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
Invalid workflow file: .github/workflows/hypatia-scan.yml#L25
error parsing called workflow ".github/workflows/hypatia-scan.yml" -> "hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@97df762107501909f50bb770e9bc200b6c415600" : workflow was not found. See https://docs.github.com/actions/learn-github-actions/reusing-workflows#access-to-reusable-workflows for more information.