CI seems broken because of missing p4lang/p4rt-asciidoc image

[antoninbas]

See the failing CI job for #531

2025-01-19T21:12:25.8967129Z ##[group]Run docker run -v `pwd`/docs/v1:/usr/src/p4-spec p4lang/p4rt-asciidoc :latest make
2025-01-19T21:12:25.8967828Z �[36;1mdocker run -v `pwd`/docs/v1:/usr/src/p4-spec p4lang/p4rt-asciidoc :latest make�[0m
2025-01-19T21:12:25.8968252Z �[36;1mls docs/v1/build�[0m
2025-01-19T21:12:25.8998178Z shell: /usr/bin/bash -e {0}
2025-01-19T21:12:25.8998453Z ##[endgroup]
2025-01-19T21:12:25.9209890Z Unable to find image 'p4lang/p4rt-asciidoc:latest' locally
2025-01-19T21:12:26.8310457Z docker: Error response from daemon: pull access denied for p4lang/p4rt-asciidoc, repository does not exist or may require 'docker login': denied: requested access to the resource is denied.
2025-01-19T21:12:26.8313484Z See 'docker run --help'.
2025-01-19T21:12:26.8341563Z ##[error]Process completed with exit code 125.

p4lang/p4rt-asciidoc :latest seems wrong as well, as there should be no space between the image name and tag

[chrispsommers]

@Dscano Can you please take a look? Thanks @antoninbas !

[Dscano]

@chrispsommers I fix the spaces here #536. But as reported #530 , we still need someone with the credentials to publish the new Docker image on Docker Hub