Skip to content
CI

Merge branch 'update-oss' #33

Sign in to view logs

Merge branch 'update-oss'

Merge branch 'update-oss' #33

Triggered via push December 22, 2023 17:23
@cr1901cr1901
pushed cc075a8
main
Status Cancelled
Total duration 27s
Artifacts –

ci.yml

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

Annotations

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