use Batch.hoc in 136803#97

Open

ohm314 wants to merge 14 commits intomasterfrom

Commits on Sep 26, 2023

use Batch.hoc in 136803
Omar Awile
authored
Set from PR
Nicolas Cornu
committed
Merge branch 'cornu/from_pr' into ohm314-patch-1
Omar Awile
committed
use legacy unit in version 8
Omar Awile
committed
small fix
Omar Awile
committed
temporily remove Nico's additio
Omar Awile
committed
one more fix
Omar Awile
committed

Commits on Sep 27, 2023

Set from PR
Nicolas Cornu
committed
Merge remote-tracking branch 'origin/cornu/from_pr'
Nicolas Cornu
committed
Fix ci
Nicolas Cornu
committed
Use TOKEN to identify the gh
Nicolas Cornu
committed
Fix ci
Nicolas Cornu
committed
Fix ci
Nicolas Cornu
committed
Try printing more infos
Nicolas Cornu
committed