Skip to content
[Jenkins]Jenkins
log in

Changes

Summary

  1. Bump Docker latexml image (details)
Commit 4faa5b9fcb08bfa5f303021a6f50b1f0ae1031d9 by Tidefelt Henrik
Bump Docker latexml image

New image is built using the updated Dockerfile.incremental, which should be consistent with what was already in Dockerfile.
The file was modified .CI/Jenkinsfile (diff)
The file was modified .CI/latexml/Dockerfile.incremental (diff)