Skip to content

Fix Local Use

Fix Local Use #13

Triggered via pull request December 10, 2024 17:20
Status Startup failure
Total duration
Artifacts

main.yml

on: pull_request
test  /  certora_run
test / certora_run
Fit to window
Zoom out
Zoom in

Annotations

1 error
Invalid workflow file: .github/workflows/main.yml#L16
The workflow is not valid. .github/workflows/main.yml (Line: 16, Col: 11): Input server is required, but not provided while calling. .github/workflows/main.yml (Line: 16, Col: 11): Input add-status is required, but not provided while calling.