Changes

dra27 · Jan 18, 2024 · 7f9923c · 7f9923c
1 parent 5ca0232
commit 7f9923c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/master_changes.md b/master_changes.md
@@ -69,6 +69,7 @@ users)
 ## Build
 
 ## Infrastructure
+  * Fix depexts CI workflow and ensure all workflows run on master push [#5788 @dra27]
 
 ## Release scripts