List view

ci(gh-actions): harden actions

Status: Merged (completed).

music-encoding/docker-meinumber 30

#30 In music-encoding/docker-mei;

· by musicEnfanthen was closed on Jun 25, 2024

build: include schematron

Status: Merged (completed).

music-encoding/docker-meinumber 50

#50 In music-encoding/docker-mei;

· by musicEnfanthen was closed on Nov 13, 2024

ci(gh-actions): update prince (and ant)

Status: Merged (completed).

music-encoding/docker-meinumber 41

#41 In music-encoding/docker-mei;

· by musicEnfanthen was closed on Jul 18, 2024

feature: minimize container image

Status: Merged (completed).

music-encoding/docker-meinumber 28

#28 In music-encoding/docker-mei;

· by simar0at was closed on Apr 27, 2024

fix: update Verovio

Status: Closed (abandoned).

music-encoding/docker-meinumber 22

#22 In music-encoding/docker-mei;

· by musicEnfanthen was closed on Jun 26, 2024

build: update saxon

Status: Merged (completed).

music-encoding/docker-meinumber 29

#29 In music-encoding/docker-mei;

· by rettinghaus was closed on Jun 27, 2024