Update pull-request.yml

ADA-research / Sparkle

Sparkle is a Programming by Optimisation (PbO)-based problem-solving platform designed to enable the widespread and effective use of PbO techniques for improving the state-of-the-art in solving a broad range of prominent AI problems, including SAT and AI Planning.

https://ada-research.github.io/Sparkle/

MIT License

1 stars 1 forks source link

Update pull-request.yml #4

Closed hadarshavit closed 1 month ago

hadarshavit commented 1 month ago

Remove workflow run on each push (so workflow runs only on PRs). Add workflow for macOS.

thijssnelleman commented 1 month ago

Pls give description

hadarshavit commented 1 month ago

MacOS currently failing, I'm fixing that

thijssnelleman commented 1 month ago

build-mac can be removed for now