Skip to content

Synchronize set_strategy with the discharge/load infrastructure #556

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
herbelin wants to merge 1 commit into
base: main
Choose a base branch
from

Plug the Global.set_strategy used for registration on the section mec…

7f883b4
Select commit
Loading
Failed to load commit list.
Open

Synchronize set_strategy with the discharge/load infrastructure #556

Plug the Global.set_strategy used for registration on the section mec…
7f883b4
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs