Mentions légales du service

Skip to content

Kill the Why3 worker only if no Alt-Ergo workers are running (fix #516).

Guillaume Melquiond requested to merge trywhy3-stop into master

Merge request reports