Skip to content

linux-x64

linux-x64 #1077

Triggered via schedule March 7, 2024 01:18
Status Success
Total duration 16m 42s
Artifacts

linux-x64.yml

on: schedule
linux-x64-nextpnr-bba
5s
linux-x64-nextpnr-bba
linux-x64-python3-native
23s
linux-x64-python3-native
linux-x64-cadical
4s
linux-x64-cadical
linux-x64-lingeling
4s
linux-x64-lingeling
linux-x64-btor2tools
59s
linux-x64-btor2tools
linux-x64-symfpu
4s
linux-x64-symfpu
linux-x64-icestorm
5s
linux-x64-icestorm
linux-x64-prjoxide
9s
linux-x64-prjoxide
linux-x64-picosat
9s
linux-x64-picosat
linux-x64-libpoly
9s
linux-x64-libpoly
linux-x64-graphviz
25s
linux-x64-graphviz
linux-x64-prjtrellis
4s
linux-x64-prjtrellis
linux-x64-openfpgaloader
1m 28s
linux-x64-openfpgaloader
linux-x64-avy
9s
linux-x64-avy
linux-x64-cvc4
12s
linux-x64-cvc4
linux-x64-yices
6s
linux-x64-yices
linux-x64-z3
11m 32s
linux-x64-z3
linux-x64-gtkwave
10s
linux-x64-gtkwave
linux-x64-verilator
5m 41s
linux-x64-verilator
linux-x64-iverilog
11s
linux-x64-iverilog
linux-x64-utils
17s
linux-x64-utils
linux-x64-system-resources
5s
linux-x64-system-resources
linux-x64-prjtrellis-bba
22s
linux-x64-prjtrellis-bba
linux-x64-python2-native
20s
linux-x64-python2-native
linux-x64-abc
5s
linux-x64-abc
linux-x64-python3
19s
linux-x64-python3
linux-x64-boolector
1m 6s
linux-x64-boolector
linux-x64-bitwuzla
1m 21s
linux-x64-bitwuzla
linux-x64-icestorm-bba
10s
linux-x64-icestorm-bba
linux-x64-prjoxide-bba
11s
linux-x64-prjoxide-bba
linux-x64-aiger
4s
linux-x64-aiger
linux-x64-cvc5
19s
linux-x64-cvc5
linux-x64-python2
14s
linux-x64-python2
linux-x64-yosys
7s
linux-x64-yosys
linux-x64-apicula
9s
linux-x64-apicula
linux-x64-nextpnr-ecp5
14s
linux-x64-nextpnr-ecp5
linux-x64-nextpnr-machxo2
16s
linux-x64-nextpnr-machxo2
linux-x64-nextpnr-generic
7s
linux-x64-nextpnr-generic
linux-x64-xdot
15s
linux-x64-xdot
linux-x64-formal
3m 6s
linux-x64-formal
linux-x64-python-programmers
10s
linux-x64-python-programmers
linux-x64-pyhdl
9s
linux-x64-pyhdl
linux-x64-cocotb
1m 46s
linux-x64-cocotb
linux-x64-nextpnr-ice40
16s
linux-x64-nextpnr-ice40
linux-x64-nextpnr-nexus
8s
linux-x64-nextpnr-nexus
linux-x64-smt-switch
7s
linux-x64-smt-switch
linux-x64-suprove
6s
linux-x64-suprove
linux-x64-ghdl-yosys-plugin
1m 4s
linux-x64-ghdl-yosys-plugin
linux-x64-eqy
1m 8s
linux-x64-eqy
linux-x64-apicula-bba
7s
linux-x64-apicula-bba
linux-x64-pono
7s
linux-x64-pono
linux-x64-nextpnr-gowin
14s
linux-x64-nextpnr-gowin
linux-x64-default
4m 36s
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.