Skip to content

Actions: MiniZinc/minizinc-python

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
230 workflow runs
230 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rename timeout parameter to time_limit
Python package #225: Pull request #89 synchronize by Dekker1
October 5, 2023 00:43 2m 39s Dekker1:fix/time_limit
October 5, 2023 00:43 2m 39s
Rename timeout parameter to time_limit
Python package #224: Pull request #89 opened by Dekker1
October 5, 2023 00:32 1m 25s Dekker1:fix/time_limit
October 5, 2023 00:32 1m 25s
Add timeout and TimeoutError for checker solver (#88)
Python package #223: Commit 3023f81 pushed by Dekker1
October 5, 2023 00:04 3m 40s develop
October 5, 2023 00:04 3m 40s
ProTip! You can narrow down the results and go further in time using created:<2023-10-04 or the other filters available.