Resolve "Build fails with current Mercury `HEAD`" (!47) · Merge requests · eu / ADMIRE / scord · GitLab

Snippets Groups Projects

Merged Alberto Miranda requested to merge amiranda/65-build-fails-with-current-mercury-head into main 2 years ago

Closes #65 (closed)

Edited 2 years ago by Alberto Miranda

Activity

Alberto Miranda changed milestone to %ADMIRE mid-term review 2 years ago

changed milestone to %ADMIRE mid-term review
Alberto Miranda added bug build system labels 2 years ago

added bug build system labels
Alberto Miranda assigned to @amiranda 2 years ago

assigned to @amiranda
Alberto Miranda added 1 commit 2 years ago
added 1 commit

920f0e36 - Don't try to build against missing Mercury components

Compare with previous version
Alberto Miranda marked this merge request as ready 2 years ago

marked this merge request as ready
Alberto Miranda approved this merge request 2 years ago

approved this merge request
Alberto Miranda merged 2 years ago

merged
Alberto Miranda mentioned in commit 8dddf7fc 2 years ago

mentioned in commit 8dddf7fc

Please register or sign in to reply