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