Skip to content

Publish a pull request under pr/, not beside the branches (#307) - #330

Merged
adrpo merged 1 commit into
OpenModelica:masterfrom
adrpo:pull-requests-in-their-own-directory
Aug 25, 2026
Merged

Publish a pull request under pr/, not beside the branches (#307)#330
adrpo merged 1 commit into
OpenModelica:masterfrom
adrpo:pull-requests-in-their-own-directory

Publish a pull request under pr/, not beside the branches (#307)

af37dce
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
validate-json
succeeded Aug 25, 2026 in 5s