panglesd / odoc / 869

Builds Branch Commit Type Ran Committer Via Coverage
869 page-order-new-take Adding some test push panglesd github
72.94
868 page-reference-do-not-use-dot Remove impossible page reference from the possible values Page don't and won't use dot references as in `page1.page2`. push panglesd github
72.85
867 media-in-odoc3 Media: add alt text to aria-label for audio and video As per the recommended solution of: https://www.w3.org/WAI/PF/HTML/wiki/Media_Alt_Technologies push jonludlam github
72.85
866 media-in-odoc3 Media: add alt text to aria-label for audio and video As per the recommended solution of: https://www.w3.org/WAI/PF/HTML/wiki/Media_Alt_Technologies push jonludlam github
72.6
865 media-in-odoc3 Media: add alt text to aria-label for audio and video As per the recommended solution of: https://www.w3.org/WAI/PF/HTML/wiki/Media_Alt_Technologies push jonludlam github
72.65
864 media-in-odoc3 Media: add alt text to aria-label for audio and video As per the recommended solution of: https://www.w3.org/WAI/PF/HTML/wiki/Media_Alt_Technologies push panglesd github
72.62
863 media-in-odoc3 Merge branch 'master' into media-in-odoc3 push web-flow github
72.65
862 frontmatter open Odoc_utils on top of file push panglesd github
72.48
861 media-in-odoc3 Media: add alt text to aria-label for audio and video As per the recommended solution of: https://www.w3.org/WAI/PF/HTML/wiki/Media_Alt_Technologies push panglesd github
72.62
860 odoc3-external-pages Driver: Fix failure when output dir does not exist push panglesd github
72.45
859 generate-assets Driver: fix command for building source push panglesd github
72.44
858 generate-assets Driver: update to new generating asset CLI Co-authored-by: Jules Aguillon <jules@j3s.fr> push web-flow github
72.44
857 generate-assets Fix util copy function push panglesd github
72.44
856 generate-assets Fix docv for asset unit file push panglesd github
72.43
855 generate-assets More annoying compatibility degrading the experience for everyone push panglesd github
72.43