Skip to content

Actions: scipopt/PyGCGOpt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
265 workflow runs
265 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

improve scipoptsuite download OR-Gitlab Mirror #61: Commit 03c09ff pushed by jurgen-lentz
February 28, 2024 12:35 16s alpha
alpha
February 28, 2024 12:35 16s
init version 0.5.0 Build Package #157: Commit a8bd9cc pushed by jurgen-lentz
February 27, 2024 20:05 15s alpha
alpha
February 27, 2024 20:05 15s
init version 0.5.0 OR-Gitlab Mirror #60: Commit a8bd9cc pushed by jurgen-lentz
February 27, 2024 20:05 23s alpha
alpha
February 27, 2024 20:05 23s
Release Package TestPyPI Release Package TestPyPI #9: Manually run by jurgen-lentz
December 22, 2023 02:54 1m 29s master
master
December 22, 2023 02:54 1m 29s
Update CHANGELOG.md OR-Gitlab Mirror #59: Commit d769123 pushed by jurgen-lentz
December 22, 2023 02:39 13s v0.3.1
v0.3.1
December 22, 2023 02:39 13s
Update CHANGELOG.md Build Package #156: Commit d769123 pushed by jurgen-lentz
December 22, 2023 02:39 53s v0.3.1
v0.3.1
December 22, 2023 02:39 53s
v0.3.1 Release Package PyPI #12: Release v0.3.1 published by jurgen-lentz
December 22, 2023 02:39 1m 29s
December 22, 2023 02:39 1m 29s
v0.3.1 Deploy Documentation #18: Release v0.3.1 published by jurgen-lentz
December 22, 2023 02:39 6m 0s
December 22, 2023 02:39 6m 0s
Update CHANGELOG.md OR-Gitlab Mirror #58: Commit d769123 pushed by jurgen-lentz
December 22, 2023 02:39 14s master
master
December 22, 2023 02:39 14s
Update CHANGELOG.md Build Package #155: Commit d769123 pushed by jurgen-lentz
December 22, 2023 02:39 53s master
master
December 22, 2023 02:39 53s
OR-Gitlab Mirror OR-Gitlab Mirror #57: by jurgen-lentz
December 22, 2023 02:38 15s
December 22, 2023 02:38 15s
Release Package PyPI Release Package PyPI #11: published by jurgen-lentz
December 22, 2023 02:30 1m 21s
December 22, 2023 02:30 1m 21s
Deploy Documentation Deploy Documentation #17: published by jurgen-lentz
December 22, 2023 02:30 5m 57s
December 22, 2023 02:30 5m 57s
v0.3.1 Build Package #154: Commit 4190dde pushed by jurgen-lentz
December 22, 2023 02:28 59s master
master
December 22, 2023 02:28 59s
v0.3.1 OR-Gitlab Mirror #56: Commit 4190dde pushed by jurgen-lentz
December 22, 2023 02:28 12s master
master
December 22, 2023 02:28 12s
Release Package PyPI Release Package PyPI #10: published by jurgen-lentz
December 22, 2023 02:18 1m 21s
December 22, 2023 02:18 1m 21s
Deploy Documentation Deploy Documentation #16: published by jurgen-lentz
December 22, 2023 02:18 5m 45s
December 22, 2023 02:18 5m 45s
Merge pull request #23 from scipopt/jurgen-lentz-patch-3 Build Package #153: Commit bd74137 pushed by jurgen-lentz
December 22, 2023 00:58 1m 16s master
master
December 22, 2023 00:58 1m 16s
Merge pull request #23 from scipopt/jurgen-lentz-patch-3 OR-Gitlab Mirror #55: Commit bd74137 pushed by jurgen-lentz
December 22, 2023 00:58 35s master
master
December 22, 2023 00:58 35s
Update deploy-documentation.yml Build Package #152: Commit 6bb82d9 pushed by jurgen-lentz
December 22, 2023 00:58 1m 13s jurgen-lentz-patch-3
jurgen-lentz-patch-3
December 22, 2023 00:58 1m 13s
Update deploy-documentation.yml OR-Gitlab Mirror #54: Commit 6bb82d9 pushed by jurgen-lentz
December 22, 2023 00:58 15s jurgen-lentz-patch-3
jurgen-lentz-patch-3
December 22, 2023 00:58 15s
Merge pull request #22 from scipopt/jurgen-lentz-patch-2 Build Package #151: Commit 4710e7c pushed by jurgen-lentz
December 22, 2023 00:56 1m 14s master
master
December 22, 2023 00:56 1m 14s
Merge pull request #22 from scipopt/jurgen-lentz-patch-2 OR-Gitlab Mirror #53: Commit 4710e7c pushed by jurgen-lentz
December 22, 2023 00:56 18s master
master
December 22, 2023 00:56 18s
Update release.yml Build Package #150: Commit 02aa4a3 pushed by jurgen-lentz
December 22, 2023 00:56 57s jurgen-lentz-patch-2
jurgen-lentz-patch-2
December 22, 2023 00:56 57s
Update release.yml OR-Gitlab Mirror #52: Commit 02aa4a3 pushed by jurgen-lentz
December 22, 2023 00:56 14s jurgen-lentz-patch-2
jurgen-lentz-patch-2
December 22, 2023 00:56 14s
ProTip! You can narrow down the results and go further in time using created:<2023-12-22 or the other filters available.