Skip to content

Actions: berkeley-abc/abc

Actions

Build Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #470 from MyskYko/btor Build Windows #906: Commit c18b9a2 pushed by alanminko
5m 30s master
master
5m 30s
Merge pull request #469 from MyskYko/cadical-rel-2.2.0 Build Windows #905: Commit f833c26 pushed by alanminko
5m 30s master
master
5m 30s
Btor Build Windows #904: Pull request #470 opened by MyskYko
5m 33s MyskYko:btor
MyskYko:btor
5m 33s
Update cadical VERSION Build Windows #903: Pull request #469 opened by MyskYko
5m 51s MyskYko:cadical-rel-2.2.0
MyskYko:cadical-rel-2.2.0
5m 51s
Updating print-out. Build Windows #902: Commit ab1e50b pushed by alanminko
5m 42s master
master
5m 42s
Changing interface of several commands. Build Windows #901: Commit 7bf9103 pushed by alanminko
5m 50s master
master
5m 50s
Compiler fix. Build Windows #900: Commit 91e806f pushed by alanminko
5m 21s master
master
5m 21s
Creating commands to match popular scripts. Build Windows #899: Commit 1f13c88 pushed by alanminko
5m 38s master
master
5m 38s
Fix &if crash after dch -f by leveling dangling choice nodes Build Windows #898: Pull request #467 opened by EPTansuo
Action required EPTansuo:master
EPTansuo:master
Action required
Updating &write_ver. Build Windows #897: Commit 291e0a2 pushed by alanminko
5m 37s master
master
5m 37s
Compiler problem. Build Windows #896: Commit 8d3ba7b pushed by alanminko
5m 49s master
master
5m 49s
Command "aigsim". Build Windows #895: Commit 0ff43a1 pushed by alanminko
5m 47s master
master
5m 47s
Fixing continues. Build Windows #894: Commit 28cc761 pushed by alanminko
5m 24s master
master
5m 24s
Fixing continues. Build Windows #893: Commit 8b79876 pushed by alanminko
5m 22s master
master
5m 22s
Fixing continues. Build Windows #892: Commit 8d42237 pushed by alanminko
5m 37s master
master
5m 37s
Commenting out troublesome code. Build Windows #891: Commit 99ca3e4 pushed by alanminko
5m 52s master
master
5m 52s
Updating declarations. Build Windows #890: Commit 95b8d57 pushed by alanminko
5m 38s master
master
5m 38s
Moving guards to proper places. Build Windows #889: Commit 997619d pushed by alanminko
5m 41s master
master
5m 41s
Adjusting guards to avoid compiler problems. Build Windows #888: Commit 52741b9 pushed by alanminko
5m 46s master
master
5m 46s
Adding undefined procedure. Build Windows #887: Commit 2accf61 pushed by alanminko
5m 35s master
master
5m 35s
Commenting out conflicting declarations. Build Windows #886: Commit d2c15a0 pushed by alanminko
5m 44s master
master
5m 44s
Reordering includes. Build Windows #885: Commit 00cee5f pushed by alanminko
5m 34s master
master
5m 34s
Fixing misplaced guard. Build Windows #884: Commit 645d866 pushed by alanminko
5m 35s master
master
5m 35s
Added proper guards to new files. Build Windows #883: Commit a38d012 pushed by alanminko
5m 27s master
master
5m 27s
Command %ufar. Build Windows #882: Commit 5cdded3 pushed by alanminko
5m 39s master
master
5m 39s