set python to 3.7 in docker container and release action#2879

Merged

jaisnan merged 11 commits intomodel-checking:mainfrom remi-delmas-3000:python-3.7

Nov 16, 2023

+24-104

Commits on Nov 14, 2023

set python to 3.7 in docker container and release action
Remi Delmas
committed
make 3.7 option 1
Remi Delmas
committed
make 3.7 option 1
Remi Delmas
committed

Commits on Nov 15, 2023

fix continuation line
Remi Delmas
committed
Bumop min python version to 3.7
Remi Delmas
committed