Skip to content

Actions: eMoflon/emoflon-ilp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
149 workflow runs
149 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

December 19, 2023 06:31 2m 34s
December 8, 2023 07:13 4m 44s
Merge pull request #46 from eMoflon/feature/update-maven-396
CI #46: Commit e4e8b99 pushed by maxkratz
December 4, 2023 13:32 3m 13s main
December 4, 2023 13:32 3m 13s
Updates Maven to v3.9.6
CI #45: Commit 808147f pushed by maxkratz
December 4, 2023 13:29 2m 56s feature/update-maven-396
December 4, 2023 13:29 2m 56s
Merge pull request #44 from eMoflon/feature/update-tycho-404
CI #44: Commit dfa5ca5 pushed by maxkratz
November 8, 2023 11:55 2m 26s main
November 8, 2023 11:55 2m 26s
Updates tycho to v4.0.4
CI #43: Commit 9d11f14 pushed by maxkratz
November 8, 2023 11:49 3m 1s feature/update-tycho-404
November 8, 2023 11:49 3m 1s
Merge pull request #42 from eMoflon/feature/mutable-config
CI #42: Commit 4dabd97 pushed by maxkratz
October 24, 2023 07:54 3m 23s main
October 24, 2023 07:54 3m 23s
Merge pull request #41 from eMoflon/feature/update-build-system
CI #38: Commit 92a94e7 pushed by maxkratz
October 6, 2023 10:07 2m 38s main
October 6, 2023 10:07 2m 38s
Merge pull request #37 from eMoflon/feature/javadoc-target
CI #36: Commit 05ad3f2 pushed by maxkratz
September 28, 2023 07:00 3m 40s main
September 28, 2023 07:00 3m 40s
Adds a target to build the JavaDoc with Maven
CI #35: Commit 55a4970 pushed by maxkratz
September 28, 2023 06:55 3m 38s feature/javadoc-target
September 28, 2023 06:55 3m 38s
September 26, 2023 14:46 2m 14s
Merge pull request #33 from eMoflon/feature/update-gurobi-10.0.3
CI #32: Commit 0aabb6d pushed by maxkratz
September 22, 2023 08:12 3m 9s main
September 22, 2023 08:12 3m 9s
Updates Gurobi to v10.0.3
CI #31: Commit fc72bb9 pushed by maxkratz
September 22, 2023 08:05 3m 28s feature/update-gurobi-10.0.3
September 22, 2023 08:05 3m 28s
Merge pull request #31 from eMoflon/feature/update-gurobi-10.0.2
CI #30: Commit 83c169f pushed by maxkratz
September 21, 2023 13:00 4m 1s main
September 21, 2023 13:00 4m 1s
Updates Gurobi to v10.0.2
CI #29: Commit 8ab7543 pushed by maxkratz
September 21, 2023 12:56 3m 29s feature/update-gurobi-10.0.2
September 21, 2023 12:56 3m 29s
Merge pull request #30 from eMoflon/feature/smaller-adaptions
CI #28: Commit edf70dd pushed by maxkratz
September 21, 2023 12:55 2m 45s main
September 21, 2023 12:55 2m 45s