Open
Description
Some build badges on the page of published papers is not consistent with the actual build result.
Example (at the time of writing):
-
the page of published papers says the build failed:
-
clicking on the badge leads to the page of the corresponding paper, which says the build was successful:
