Build and run tests with Verific (Linux)

Add YosysHQ/abc as a submodule located in abc. #12

Sign in to view logs

Triggered via pull request April 16, 2024 16:18

RCoeurjoly

synchronize #4243

RCoeurjoly:submodule_abc

Status Startup failure

Total duration –

Artifacts –

test-verific.yml

on: pull_request

Annotations

1 error

Invalid workflow file: .github/workflows/test-verific.yml#L13

The workflow is not valid. .github/workflows/test-verific.yml (Line: 13, Col: 9): 'with' is already defined