Skip to content

linux-riscv64

linux-riscv64 #1027

Triggered via workflow run November 26, 2023 02:05
@mmickommicko
completed f41b9ae
Status Success
Total duration 9m 19s
Artifacts

linux-riscv64.yml

on: workflow_run
linux-riscv64-python3
30s
linux-riscv64-python3
linux-riscv64-cadical
1m 30s
linux-riscv64-cadical
linux-riscv64-lingeling
5s
linux-riscv64-lingeling
linux-riscv64-btor2tools
9s
linux-riscv64-btor2tools
linux-riscv64-yosys
10s
linux-riscv64-yosys
linux-riscv64-python2
30s
linux-riscv64-python2
linux-riscv64-picosat
9s
linux-riscv64-picosat
linux-riscv64-libpoly
5s
linux-riscv64-libpoly
linux-riscv64-graphviz
16s
linux-riscv64-graphviz
linux-riscv64-icestorm
5s
linux-riscv64-icestorm
linux-riscv64-prjtrellis
7s
linux-riscv64-prjtrellis
linux-riscv64-prjoxide
5s
linux-riscv64-prjoxide
linux-riscv64-dfu-util
8s
linux-riscv64-dfu-util
linux-riscv64-ecpprog
5s
linux-riscv64-ecpprog
linux-riscv64-openfpgaloader
2m 10s
linux-riscv64-openfpgaloader
linux-riscv64-avy
5s
linux-riscv64-avy
linux-riscv64-cvc4
23s
linux-riscv64-cvc4
linux-riscv64-yices
5s
linux-riscv64-yices
linux-riscv64-z3
8s
linux-riscv64-z3
linux-riscv64-mcy
5s
linux-riscv64-mcy
linux-riscv64-sby
5s
linux-riscv64-sby
linux-riscv64-sby-gui
5s
linux-riscv64-sby-gui
linux-riscv64-gtkwave
8s
linux-riscv64-gtkwave
linux-riscv64-verilator
15s
linux-riscv64-verilator
linux-riscv64-iverilog
4m 3s
linux-riscv64-iverilog
linux-riscv64-ecpdap
9s
linux-riscv64-ecpdap
linux-riscv64-fujprog
4s
linux-riscv64-fujprog
linux-riscv64-iceprogduino
3s
linux-riscv64-iceprogduino
linux-riscv64-openocd
16s
linux-riscv64-openocd
linux-riscv64-icesprog
10s
linux-riscv64-icesprog
linux-riscv64-utils
7s
linux-riscv64-utils
linux-riscv64-system-resources
8s
linux-riscv64-system-resources
linux-riscv64-numpy
11s
linux-riscv64-numpy
linux-riscv64-xdot
11s
linux-riscv64-xdot
linux-riscv64-nextpnr-generic
10s
linux-riscv64-nextpnr-generic
linux-riscv64-nextpnr-ice40
16s
linux-riscv64-nextpnr-ice40
linux-riscv64-nextpnr-ecp5
15s
linux-riscv64-nextpnr-ecp5
linux-riscv64-nextpnr-machxo2
21s
linux-riscv64-nextpnr-machxo2
linux-riscv64-nextpnr-nexus
15s
linux-riscv64-nextpnr-nexus
linux-riscv64-nextpnr-gowin
6s
linux-riscv64-nextpnr-gowin
linux-riscv64-flask
6s
linux-riscv64-flask
linux-riscv64-python-programmers
7s
linux-riscv64-python-programmers
linux-riscv64-pyhdl
1m 57s
linux-riscv64-pyhdl
linux-riscv64-cocotb
7s
linux-riscv64-cocotb
linux-riscv64-mau
6s
linux-riscv64-mau
linux-riscv64-scy
8s
linux-riscv64-scy
linux-riscv64-boolector
7s
linux-riscv64-boolector
linux-riscv64-bitwuzla
6s
linux-riscv64-bitwuzla
linux-riscv64-eqy
5s
linux-riscv64-eqy
linux-riscv64-suprove
6s
linux-riscv64-suprove
linux-riscv64-aiger
12s
linux-riscv64-aiger
linux-riscv64-cvc5
13s
linux-riscv64-cvc5
linux-riscv64-apicula
9s
linux-riscv64-apicula
linux-riscv64-smt-switch
15s
linux-riscv64-smt-switch
linux-riscv64-pono
14s
linux-riscv64-pono
linux-riscv64-default
4m 41s
linux-riscv64-default
Fit to window
Zoom out
Zoom in

Annotations

1 error
linux-riscv64-cadical
Process completed with exit code 255.