Skip to content
.github/workflows/formal-verify.yml

Bump actions/github-script from 7 to 9 #9

Sign in to view logs

Bump actions/github-script from 7 to 9

Bump actions/github-script from 7 to 9 #9

Triggered via push April 15, 2026 08:15
@dependabotdependabot[bot]
pushed 95c4183
dependabot/github_actions/actions/github-script-9
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/formal-verify.yml#L8
error parsing called workflow ".github/workflows/formal-verify.yml" -> "sentinelops/remote-ci/.github/workflows/remote.yml@v1" : workflow was not found. See https://docs.github.com/actions/learn-github-actions/reusing-workflows#access-to-reusable-workflows for more information.