protegeproject / protege

Protege Desktop
http://protege.stanford.edu
Other
1.01k stars 231 forks source link

Test all profiles in CI. #1208

Closed gouttegd closed 4 months ago

gouttegd commented 4 months ago

When running the test suite on GitHub, make sure all profiles are tested, to catch any breakage of a profile-specific configuration.

When testing the "release" profile, signing of the packages is explicitly disabled to avoid needless access to the release signing key.