Skip to content

Merge develop into master (1.19.0)#1836

Merged
Didayolo merged 17 commits into
masterfrom
develop
May 15, 2025
Merged

Merge develop into master (1.19.0)#1836
Didayolo merged 17 commits into
masterfrom
develop

Conversation

* Add remove button for cancelled submissions

* Allow remove of cancelled submissions
Clarify warning message "Detailed results not written" in compute_worker.py
Add permissions check for bulk download
@Didayolo Didayolo added the Release PR develop --> master label Apr 23, 2025
@Didayolo Didayolo merged commit 97f45eb into master May 15, 2025
1 check passed
@Didayolo Didayolo changed the title Merge develop into master Merge develop into master (1.19.0) Jul 24, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Release PR develop --> master

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants