"git@git.frama-c.com:pub/frama-c.git" did not exist on "3c3253b1215180e3c09106dd083ed840f11e448f"
-
Virgile Prevosto authored
This is absolutely not a sneaky attempt to relaunch a build (now that OCI seems in better shape) pushing a nearly empty commit.
Virgile Prevosto authoredThis is absolutely not a sneaky attempt to relaunch a build (now that OCI seems in better shape) pushing a nearly empty commit.
