"git@git.frama-c.com:pub/frama-c.git" did not exist on "38d3796df5bd6b04192df8b02326eee744588d6f"
-
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.
