Skip to content

Actions: MyskYko/abc

Actions

Build Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix compilation errors Build Windows #6: Commit db9275b pushed by MyskYko
5m 44s btor
btor
5m 44s
fix filename typo Build Windows #5: Commit 32c2d0b pushed by MyskYko
5m 15s btor
btor
5m 15s
fix alloc type and in-case declaration errors Build Windows #4: Commit 622430e pushed by MyskYko
5m 32s btor
btor
5m 32s
get rid of typeof Build Windows #3: Commit 8bfdeea pushed by MyskYko
7m 53s btor
btor
7m 53s
add btor Build Windows #2: Commit 998a32a pushed by MyskYko
5m 42s btor
btor
5m 42s
Update cadical VERSION Build Windows #1: Commit 59bb87e pushed by MyskYko
5m 56s cadical-rel-2.2.0
cadical-rel-2.2.0
5m 56s