Skip to content

Actions: berkeley-abc/abc

Actions

Build Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-windows.yml
488 workflow runs
488 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add per-object origin tracking (vOrigins) to Gia_Man_t Build Windows #958: Pull request #487 synchronize by robtaylor
Action required robtaylor:origin-tracking-clean
robtaylor:origin-tracking-clean
Action required
Merge pull request #471 from phyzhenli/master Build Windows #957: Commit 7553ef9 pushed by alanminko
5m 12s master
master
5m 12s
Merge pull request #488 from calewis/grow_faster Build Windows #956: Commit d10a0d4 pushed by alanminko
5m 24s master
master
5m 24s
Add per-object origin tracking (vOrigins) to Gia_Man_t Build Windows #955: Pull request #487 synchronize by robtaylor
Action required robtaylor:origin-tracking-clean
robtaylor:origin-tracking-clean
Action required
Add per-object origin tracking (vOrigins) to Gia_Man_t Build Windows #954: Pull request #487 synchronize by robtaylor
Action required robtaylor:origin-tracking-clean
robtaylor:origin-tracking-clean
Action required
Avoid O(n^2) work on gzipped liberty data Build Windows #953: Pull request #488 opened by calewis
6m 29s calewis:grow_faster
calewis:grow_faster
6m 29s
Add per-object origin tracking (vOrigins) to Gia_Man_t Build Windows #952: Pull request #487 opened by robtaylor
Action required robtaylor:origin-tracking-clean
robtaylor:origin-tracking-clean
Action required
Fixing assertion failure introduced by a recent PR. Build Windows #951: Commit f3a17d3 pushed by alanminko
5m 9s master
master
5m 9s
Compiler problem. Build Windows #950: Commit 4e5c5e6 pushed by alanminko
5m 21s master
master
5m 21s
Improvements to &sprove. Build Windows #949: Commit c1937d1 pushed by alanminko
5m 22s master
master
5m 22s
Updating interface of &cec. Build Windows #948: Commit ef54c1d pushed by alanminko
5m 3s master
master
5m 3s
Merge pull request #486 from wjrforcyber/fix_windows_build Build Windows #947: Commit ea6be8a pushed by alanminko
6m 14s master
master
6m 14s
Refactor(Workflow): Windows build refactor Build Windows #946: Pull request #486 opened by wjrforcyber
6m 0s wjrforcyber:fix_windows_build
wjrforcyber:fix_windows_build
6m 0s
Merge pull request #484 from wjrforcyber/fix_windows_build Build Windows #945: Commit e90839f pushed by alanminko
5m 1s master
master
5m 1s
Add MinGW/MSYS2 build support Build Windows #944: Pull request #485 opened by robtaylor
Action required robtaylor:mingw-build-support
robtaylor:mingw-build-support
Action required
Fix(Windows): Update to windows-2025 Build Windows #943: Pull request #484 opened by wjrforcyber
4m 59s wjrforcyber:fix_windows_build
wjrforcyber:fix_windows_build
4m 59s
Merge pull request #482 from jon-greene/fix-req-time-infinity Build Windows #942: Commit 0433d6e pushed by alanminko
15m 3s master
master
15m 3s
Fix required time handling for unconstrained POs, infinity arithmetic, and cosmetic problem in absDup.c Build Windows #941: Pull request #482 opened by jon-greene
15m 2s jon-greene:fix-req-time-infinity
jon-greene:fix-req-time-infinity
15m 2s
Merge pull request #481 from jon-greene/fix-req-time-with-boxes Build Windows #940: Commit 2c6089f pushed by alanminko
15m 3s master
master
15m 3s
Fix two bugs causing problems with &trace and boxes. Build Windows #939: Pull request #481 opened by jon-greene
6m 7s jon-greene:fix-req-time-with-boxes
jon-greene:fix-req-time-with-boxes
6m 7s
Merge pull request #480 from jon-greene/fix-tim-man-get-co-required Build Windows #938: Commit 8a856ce pushed by alanminko
6m 29s master
master
6m 29s
Fix backward required-time propagation through boxes Build Windows #937: Pull request #480 opened by jon-greene
6m 39s jon-greene:fix-tim-man-get-co-required
jon-greene:fix-tim-man-get-co-required
6m 39s
Update command "history". Build Windows #936: Commit c7ea67b pushed by alanminko
6m 36s master
master
6m 36s
New command &divide, etc. Build Windows #935: Commit 3dd086f pushed by alanminko
9m 23s master
master
9m 23s
Dumping LUT-mapped networks in Vivado-readable Verilog. Build Windows #934: Commit 3cdb1c4 pushed by alanminko
6m 11s master
master
6m 11s