Skip to content

Actions: jump-dev/MiniZinc.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
374 workflow runs
374 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for MOI.VersionNumber format-check #145: Pull request #41 opened by odow
September 19, 2023 04:00 3m 57s od/version-number
od/version-number
September 19, 2023 04:00 3m 57s
Add support for MOI.VersionNumber CI #145: Pull request #41 opened by odow
September 19, 2023 04:00 5m 22s od/version-number
od/version-number
September 19, 2023 04:00 5m 22s
Support getting SolverVersion TagBot #100: Issue comment #40 (comment) created by odow
September 19, 2023 03:15 2s
September 19, 2023 03:15 2s
Support getting SolverVersion TagBot #99: Issue comment #40 (comment) created by odow
September 19, 2023 03:15 2s
September 19, 2023 03:15 2s
Support getting SolverVersion TagBot #98: Issue comment #40 (comment) created by chriscoey
September 19, 2023 02:58 2s
September 19, 2023 02:58 2s
Support getting SolverVersion TagBot #97: Issue comment #40 (comment) created by odow
September 19, 2023 02:53 2s
September 19, 2023 02:53 2s
Support getting SolverVersion TagBot #96: Issue comment #40 (comment) created by odow
September 19, 2023 02:53 2s
September 19, 2023 02:53 2s
Support getting SolverVersion TagBot #95: Issue comment #40 (comment) created by odow
September 19, 2023 02:52 2s
September 19, 2023 02:52 2s
Add support for MOI.TimeLimitSec and MOI.SolveTimeSec (#39) format-check #144: Commit 5984159 pushed by odow
September 19, 2023 02:52 1m 49s master
master
September 19, 2023 02:52 1m 49s
Add support for MOI.TimeLimitSec and MOI.SolveTimeSec (#39) CI #144: Commit 5984159 pushed by odow
September 19, 2023 02:52 5m 42s master
master
September 19, 2023 02:52 5m 42s
Add support for MOI.TimeLimitSec and MOI.SolveTimeSec CI #143: Pull request #39 synchronize by odow
September 19, 2023 02:29 5m 23s od/time-limit
od/time-limit
September 19, 2023 02:29 5m 23s
Add support for MOI.TimeLimitSec and MOI.SolveTimeSec format-check #143: Pull request #39 synchronize by odow
September 19, 2023 02:29 1m 56s od/time-limit
od/time-limit
September 19, 2023 02:29 1m 56s
Add support for MOI.TimeLimitSec and MOI.SolveTimeSec CI #142: Pull request #39 synchronize by odow
September 19, 2023 01:12 5m 12s od/time-limit
od/time-limit
September 19, 2023 01:12 5m 12s
Add support for MOI.TimeLimitSec and MOI.SolveTimeSec format-check #142: Pull request #39 synchronize by odow
September 19, 2023 01:12 2m 32s od/time-limit
od/time-limit
September 19, 2023 01:12 2m 32s
Add support for MOI.TimeLimitSec and MOI.SolveTimeSec TagBot #94: Issue comment #39 (comment) created by codecov bot
September 19, 2023 00:54 3s
September 19, 2023 00:54 3s
Add support for MOI.TimeLimitSec and MOI.SolveTimeSec CI #141: Pull request #39 synchronize by odow
September 19, 2023 00:50 7m 5s od/time-limit
od/time-limit
September 19, 2023 00:50 7m 5s
Add support for MOI.TimeLimitSec and MOI.SolveTimeSec format-check #141: Pull request #39 synchronize by odow
September 19, 2023 00:50 1m 46s od/time-limit
od/time-limit
September 19, 2023 00:50 1m 46s
Add support for MOI.TimeLimitSec and MOI.SolveTimeSec format-check #140: Pull request #39 synchronize by odow
September 19, 2023 00:42 2m 47s od/time-limit
od/time-limit
September 19, 2023 00:42 2m 47s
Add support for MOI.TimeLimitSec and MOI.SolveTimeSec CI #140: Pull request #39 synchronize by odow
September 19, 2023 00:42 5m 58s od/time-limit
od/time-limit
September 19, 2023 00:42 5m 58s
Add support for MOI.TimeLimitSec and MOI.SolveTimeSec CI #139: Pull request #39 opened by odow
September 19, 2023 00:41 4m 36s od/time-limit
od/time-limit
September 19, 2023 00:41 4m 36s
Add support for MOI.TimeLimitSec and MOI.SolveTimeSec format-check #139: Pull request #39 opened by odow
September 19, 2023 00:41 1m 44s od/time-limit
od/time-limit
September 19, 2023 00:41 1m 44s
Support setting time limit, and getting solve time TagBot #93: Issue comment #38 (comment) created by odow
September 19, 2023 00:35 3s
September 19, 2023 00:35 3s
Support setting time limit, and getting solve time TagBot #92: Issue comment #38 (comment) created by odow
September 19, 2023 00:25 3s
September 19, 2023 00:25 3s
TagBot trigger issue TagBot #91: Issue comment #10 (comment) created by JuliaTagBot
August 17, 2023 00:28 2m 9s
August 17, 2023 00:28 2m 9s
Prep for v0.3.0 (#37) format-check #138: Commit 0f3524c pushed by odow
August 17, 2023 00:11 2m 12s master
master
August 17, 2023 00:11 2m 12s
ProTip! You can narrow down the results and go further in time using created:<2023-08-17 or the other filters available.