Skip to content

Actions: aiplan4eu/unified-planning

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
761 workflow runs
761 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #489 from Shi-Raida/tests/basic_numeric
CI-on-master #54: Commit 862c4b2 pushed by alvalentini
September 26, 2023 07:46 19m 6s master
September 26, 2023 07:46 19m 6s
Fixed minor issues
CI-on-push #2834: Commit 0aef89c pushed by mikand
September 25, 2023 12:32 10m 51s os-project
September 25, 2023 12:32 10m 51s
Fixed minor issues
CI-on-push #2833: Commit bde8681 pushed by mikand
September 25, 2023 12:23 12m 46s os-project
September 25, 2023 12:23 12m 46s
Small fixes
CI-on-push #2832: Commit fd36191 pushed by alvalentini
September 22, 2023 08:38 16m 12s handle-issue-435
September 22, 2023 08:38 16m 12s
Resolved leftover todos, ready for a second round of feedback
CI-on-push #2831: Commit 3d9c2a6 pushed by mikand
September 20, 2023 09:46 7m 43s os-project
September 20, 2023 09:46 7m 43s
Merge pull request #488 from aiplan4eu/documentation-fix
CI-on-master #53: Commit 251254b pushed by alvalentini
September 19, 2023 07:37 16m 2s master
September 19, 2023 07:37 16m 2s
Merge pull request #492 from aiplan4eu/fix-ci
CI-on-master #52: Commit 07cf2fa pushed by alvalentini
September 18, 2023 16:10 10m 50s master
September 18, 2023 16:10 10m 50s
Set a specific version for matplotlib
CI-on-push #2830: Commit 53264c2 pushed by alvalentini
September 18, 2023 14:54 6m 28s fix-ci
September 18, 2023 14:54 6m 28s
Fixed typing
CI-on-master #51: Commit fe3d7cf pushed by alvalentini
September 18, 2023 12:02 9m 44s master
September 18, 2023 12:02 9m 44s
Merge pull request #491 from aiplan4eu/up-fast-downward-0.3.1
CI-on-master #50: Commit d354c9d pushed by alvalentini
September 18, 2023 11:40 17s master
September 18, 2023 11:40 17s
Fixed todos in compilers ProblemKind
CI-on-push #2829: Commit 9f080d7 pushed by Framba-Luca
September 16, 2023 11:11 10m 31s handle-issue-435
September 16, 2023 11:11 10m 31s
ProTip! You can narrow down the results and go further in time using created:<2023-09-16 or the other filters available.