Bug fix for merge queue. (#1106)

## Summary
<!--- This is a required section; please describe the main purpose of
this proposed code change. --->

<!---
## Details
This is an optional section; is there anything specific that reviewers
should be aware of?
--->
Bug fix for merge queue.

## Testing Done
<!--- This is a required section; please describe how this change was
tested. --->

<!-- 
Replace BLANK with your device type. For example, A100-80G-PCIe

Complete the following tasks before sending your PR, and replace `[ ]`
with
`[x]` to indicate you have done them. 
-->

- Hardware Type: <BLANK>
- [ ] run `make test` to ensure correctness
- [ ] run `make checkstyle` to ensure code style
- [ ] run `make test-convergence` to ensure convergence
This commit is contained in:
Jari Kolehmainen
2026-02-24 00:46:01 +00:00
committed by GitHub
parent 88191d819b
commit 28f97713f7
+1
View File
@@ -8,6 +8,7 @@ on:
branches:
- main
merge_group:
types: [checks_requested]
branches:
- main
workflow_dispatch: # Enables manual trigger