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

build(deps): bump wasmtime from 15.0.1 to 43.0.1 #20

Sign in to view logs

build(deps): bump wasmtime from 15.0.1 to 43.0.1

build(deps): bump wasmtime from 15.0.1 to 43.0.1 #20

Triggered via pull request April 15, 2026 01:05
@dependabotdependabot[bot]
#7
dependabot/cargo/wasmtime-43.0.1
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#L6
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.