Add GitHub CI workflow, for running ERT#865
Open
jwiegley wants to merge 12 commits intokarthink:feature-augment-bufferfrom
Open
Add GitHub CI workflow, for running ERT#865jwiegley wants to merge 12 commits intokarthink:feature-augment-bufferfrom
jwiegley wants to merge 12 commits intokarthink:feature-augment-bufferfrom
Commits
Commits on May 23, 2025
- authored andcommitted
- committed
- committed
- committed
- authored andcommitted
- committed
- committed
- committed
- committed
- committed
Commits on May 28, 2025
- authored andcommitted
- authored andcommitted