Skip to content

Actions: hdl/containers

Actions

boolector

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boolector.yml
20 workflow run results
20 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

boolector boolector #942: Scheduled
September 29, 2023 00:50 1h 12m 39s main
main
September 29, 2023 00:50 1h 12m 39s
boolector boolector #941: Scheduled
September 22, 2023 00:50 1h 3m 20s main
main
September 22, 2023 00:50 1h 3m 20s
boolector boolector #940: Scheduled
September 15, 2023 00:50 1h 7m 3s main
main
September 15, 2023 00:50 1h 7m 3s
boolector boolector #939: Scheduled
September 8, 2023 00:49 1h 4m 46s main
main
September 8, 2023 00:49 1h 4m 46s
debian-bullseye/vtr: libreadline-dev and tcl-dev are a build dependen… boolector #938: Commit dd48211 pushed by umarcor
September 7, 2023 05:56 2h 23m 8s main
main
September 7, 2023 05:56 2h 23m 8s
debian-bullseye/yosys: needs g++ for running tests boolector #937: Commit bf4053f pushed by umarcor
September 7, 2023 05:51 44m 36s main
main
September 7, 2023 05:51 44m 36s
boolector boolector #936: Scheduled
September 1, 2023 00:52 1h 6m 43s main
main
September 1, 2023 00:52 1h 6m 43s
boolector boolector #935: Scheduled
August 25, 2023 00:49 1h 6m 31s main
main
August 25, 2023 00:49 1h 6m 31s
boolector boolector #934: Scheduled
August 18, 2023 00:47 1h 12m 37s main
main
August 18, 2023 00:47 1h 12m 37s
boolector boolector #933: Scheduled
August 11, 2023 00:47 1h 9m 18s main
main
August 11, 2023 00:47 1h 9m 18s
boolector boolector #932: Scheduled
August 4, 2023 01:00 1h 27m 48s main
main
August 4, 2023 01:00 1h 27m 48s
boolector boolector #931: Scheduled
July 28, 2023 00:57 1h 26m 16s main
main
July 28, 2023 00:57 1h 26m 16s
boolector boolector #930: Scheduled
July 21, 2023 01:04 3h 39m 54s main
main
July 21, 2023 01:04 3h 39m 54s
debian/sim: install tcl instead of using ln boolector #929: Commit 40c9160 pushed by umarcor
July 20, 2023 21:24 2m 48s main
main
July 20, 2023 21:24 2m 48s
debian/sim: install tcl8.6 instead of libtcl8.6 boolector #928: Commit a5a47c6 pushed by umarcor
July 20, 2023 17:31 33m 40s main
main
July 20, 2023 17:31 33m 40s
debian-bookworm: add apicula boolector #927: Commit 644193b pushed by umarcor
July 18, 2023 14:21 50m 16s main
main
July 18, 2023 14:21 50m 16s
doc: sim images include NVC boolector #926: Commit 6beb706 pushed by umarcor
July 18, 2023 11:41 2m 54s main
main
July 18, 2023 11:41 2m 54s
debian/sim/osvb: bump OSVVM to 2022.06 boolector #925: Commit fe3b5b9 pushed by umarcor
July 18, 2023 00:36 1h 12m 13s main
main
July 18, 2023 00:36 1h 12m 13s
debian-bullseye/sim: add NVC boolector #924: Commit 99e20c3 pushed by umarcor
July 17, 2023 21:37 8m 41s main
main
July 17, 2023 21:37 8m 41s
boolector boolector #923: Scheduled
July 14, 2023 01:15 1h 8m 30s main
main
July 14, 2023 01:15 1h 8m 30s