Skip to content
Build and Run Simulation

Add Formal #34

Sign in to view logs

Add Formal

Add Formal #34

Triggered via pull request September 19, 2024 14:49
@Clo91eafClo91eaf
opened #18
try_formal
Status Cancelled
Total duration 1m 32s
Artifacts –

main.yml

on: pull_request
Build Simulators
1m 7s
Build Simulators
Run VCS
1m 9s
Run VCS
Run Verilator
1m 8s
Run Verilator
Fit to window
Zoom out
Zoom in

Annotations

6 errors
Build Simulators
Canceling since a higher priority waiting request for 'Build and Run Simulation-18' exists
Build Simulators
The operation was canceled.
Run VCS
Canceling since a higher priority waiting request for 'Build and Run Simulation-18' exists
Run VCS
The operation was canceled.
Run Verilator
Canceling since a higher priority waiting request for 'Build and Run Simulation-18' exists
Run Verilator
The operation was canceled.