Skip to content

cec: Adding new algorithm for generating simulation vectors for SAT sweeping (SimGen) #431

cec: Adding new algorithm for generating simulation vectors for SAT sweeping (SimGen)

cec: Adding new algorithm for generating simulation vectors for SAT sweeping (SimGen) #431

Re-run triggered December 21, 2024 16:14
Status Success
Total duration 6m 15s
Artifacts 1

build-windows.yml

on: pull_request
build-windows
6m 2s
build-windows
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
package-windows
4.67 MB