search

plaans / aries

Toolbox for automated planning and combinatorial solving.
MIT License
39 stars 5 forks source link

ci: Switch to new UP testing facilities #107

Closed arbimo closed 8 months ago

arbimo commented 8 months ago

This is a preliminary integration of the testing facilities introduced in https://github.com/aiplan4eu/unified-planning/pull/498, dropping the report of planning_test_cases.