Closed arokem closed 1 year ago
sure, that would be great!
On Mon, Mar 13, 2023 at 10:58 PM Ariel Rokem @.***> wrote:
I see that copt no longer has CI working. Would you like me to add configuration for GitHub Actions?
— Reply to this email directly, view it on GitHub https://github.com/openopt/copt/issues/103, or unsubscribe https://github.com/notifications/unsubscribe-auth/AACDZB6OWGC4EMBVWMPAJPDW36KBTANCNFSM6AAAAAAVZUWGD4 . You are receiving this because you are subscribed to this thread.Message ID: @.***>
WIP in #104
I see that copt no longer has CI working. Would you like me to add configuration for GitHub Actions?