[crewplanning] making crewplanning buildable

AI-Planning / pddl-generators

A collection of PDDL generators, some of which have been used to generate benchmarks for the International Planning Competition (IPC).

71 stars 12 forks source link

Closed guicho271828 closed 2 years ago

guicho271828 commented 2 years ago

I don't think this build will pass because the CI container probably lacks Ocaml compiler

jendrikseipp commented 2 years ago

Can you add one to the GitHub Action?

guicho271828 commented 2 years ago

done

jendrikseipp commented 2 years ago

Nice, thanks!