Skip to content

Actions: jump-dev/MiniZinc.jl

Actions

Build on Linux, Run on Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for Windows Build on Linux, Run on Windows #11: Pull request #36 synchronize by odow
10m 43s od/windows
od/windows
10m 43s
Add support for Windows Build on Linux, Run on Windows #10: Pull request #36 synchronize by odow
5m 41s od/windows
od/windows
5m 41s
Add support for Windows Build on Linux, Run on Windows #9: Pull request #36 synchronize by odow
4m 38s od/windows
od/windows
4m 38s
Add support for Windows Build on Linux, Run on Windows #8: Pull request #36 synchronize by odow
3m 42s od/windows
od/windows
3m 42s
Add support for Windows Build on Linux, Run on Windows #7: Pull request #36 synchronize by odow
3m 53s od/windows
od/windows
3m 53s
Add support for Windows Build on Linux, Run on Windows #6: Pull request #36 synchronize by odow
3m 34s od/windows
od/windows
3m 34s
Add support for Windows Build on Linux, Run on Windows #5: Pull request #36 synchronize by odow
3m 35s od/windows
od/windows
3m 35s
Add support for Windows Build on Linux, Run on Windows #4: Pull request #36 synchronize by odow
3m 40s od/windows
od/windows
3m 40s
Add support for Windows Build on Linux, Run on Windows #3: Pull request #36 synchronize by odow
7m 32s od/windows
od/windows
7m 32s
Add support for Windows Build on Linux, Run on Windows #2: Pull request #36 synchronize by odow
8m 7s od/windows
od/windows
8m 7s
Add support for Windows Build on Linux, Run on Windows #1: Pull request #36 synchronize by odow
1m 34s od/windows
od/windows
1m 34s