CI: fix github event reference #1424
Merged
dpulls / dpulls
succeeded
Jan 22, 2024 in 0s
All dependencies are resolved.
Details
Loading