"src/plugins/wp/doc/git@git.frama-c.com:pub/frama-c.git" did not exist on "736c5476fb20f12f67d1503412c51f6b04fd7492"
This is absolutely not a sneaky attempt to relaunch a build (now that OCI seems in better shape) pushing a nearly empty commit.
Name | Last commit | Last update |
---|---|---|