Skip to content

linux-x64

linux-x64 #1080

Triggered via schedule March 10, 2024 01:35
Status Success
Total duration 16m 14s
Artifacts

linux-x64.yml

on: schedule
linux-x64-nextpnr-bba
10s
linux-x64-nextpnr-bba
linux-x64-python3-native
15s
linux-x64-python3-native
linux-x64-cadical
10s
linux-x64-cadical
linux-x64-lingeling
9s
linux-x64-lingeling
linux-x64-btor2tools
8s
linux-x64-btor2tools
linux-x64-symfpu
5s
linux-x64-symfpu
linux-x64-ghdl
6s
linux-x64-ghdl
linux-x64-icestorm
10s
linux-x64-icestorm
linux-x64-prjoxide
10s
linux-x64-prjoxide
linux-x64-picosat
4s
linux-x64-picosat
linux-x64-libpoly
5s
linux-x64-libpoly
linux-x64-graphviz
11s
linux-x64-graphviz
linux-x64-prjtrellis
4s
linux-x64-prjtrellis
linux-x64-openfpgaloader
1m 31s
linux-x64-openfpgaloader
linux-x64-avy
6s
linux-x64-avy
linux-x64-cvc4
13s
linux-x64-cvc4
linux-x64-yices
5s
linux-x64-yices
linux-x64-z3
11m 43s
linux-x64-z3
linux-x64-gtkwave
9s
linux-x64-gtkwave
linux-x64-verilator
5m 50s
linux-x64-verilator
linux-x64-iverilog
7s
linux-x64-iverilog
linux-x64-utils
16s
linux-x64-utils
linux-x64-system-resources
5s
linux-x64-system-resources
linux-x64-prjtrellis-bba
17s
linux-x64-prjtrellis-bba
linux-x64-python2-native
14s
linux-x64-python2-native
linux-x64-abc
6s
linux-x64-abc
linux-x64-python3
17s
linux-x64-python3
linux-x64-boolector
1m 7s
linux-x64-boolector
linux-x64-bitwuzla
5s
linux-x64-bitwuzla
linux-x64-icestorm-bba
15s
linux-x64-icestorm-bba
linux-x64-prjoxide-bba
7s
linux-x64-prjoxide-bba
linux-x64-aiger
10s
linux-x64-aiger
linux-x64-cvc5
19s
linux-x64-cvc5
linux-x64-python2
15s
linux-x64-python2
linux-x64-yosys
11s
linux-x64-yosys
linux-x64-apicula
8s
linux-x64-apicula
linux-x64-nextpnr-ecp5
19s
linux-x64-nextpnr-ecp5
linux-x64-nextpnr-machxo2
13s
linux-x64-nextpnr-machxo2
linux-x64-nextpnr-generic
13s
linux-x64-nextpnr-generic
linux-x64-xdot
14s
linux-x64-xdot
linux-x64-formal
18s
linux-x64-formal
linux-x64-python-programmers
9s
linux-x64-python-programmers
linux-x64-pyhdl
10s
linux-x64-pyhdl
linux-x64-cocotb
1m 45s
linux-x64-cocotb
linux-x64-nextpnr-ice40
13s
linux-x64-nextpnr-ice40
linux-x64-nextpnr-nexus
10s
linux-x64-nextpnr-nexus
linux-x64-smt-switch
12s
linux-x64-smt-switch
linux-x64-suprove
6s
linux-x64-suprove
linux-x64-ghdl-yosys-plugin
10s
linux-x64-ghdl-yosys-plugin
linux-x64-eqy
5s
linux-x64-eqy
linux-x64-apicula-bba
8s
linux-x64-apicula-bba
linux-x64-pono
7s
linux-x64-pono
linux-x64-nextpnr-gowin
14s
linux-x64-nextpnr-gowin
linux-x64-default
4m 0s
linux-x64-default
Fit to window
Zoom out
Zoom in

Annotations

2 errors
linux-x64-boolector
Process completed with exit code 255.
linux-x64-verilator
Process completed with exit code 255.