Merge pull request #8093 from NlightNFotis/new_flags_on_clean #117

Sign in to view logs

Triggered via push December 14, 2023 14:52

cbmc-6.0.0-alpha

Status Startup failure

Total duration –

Artifacts –

regular-release.yaml

on: push

Get Version Information

Perform Release

Annotations

1 error

Invalid workflow file: .github/workflows/regular-release.yaml#L99

The workflow is not valid. .github/workflows/regular-release.yaml (Line: 99, Col: 11): 'prerelease' is already defined