Skip to content

Attempt to automate updating yosys. #28

Attempt to automate updating yosys.

Attempt to automate updating yosys. #28

Triggered via push December 22, 2023 16:59
Status Cancelled
Total duration 36s
Artifacts

ci.yml

on: push
RISCOF Check
26s
RISCOF Check
RISC-V Formal Check
26s
RISC-V Formal Check
Matrix: Basic CI Check
Fit to window
Zoom out
Zoom in

Annotations

6 errors
RISC-V Formal Check
The run was canceled by @cr1901.
RISC-V Formal Check
The operation was canceled.
RISCOF Check
The run was canceled by @cr1901.
RISCOF Check
The operation was canceled.
Basic CI Check (ubuntu-latest)
The run was canceled by @cr1901.
Basic CI Check (ubuntu-latest)
The operation was canceled.