Tom Hubrecht c665ce2eb6 Add deployment workflow (#7) ... Reviewed-on: https://git.hubrecht.ovh/DGNum/dgnum.eu/pulls/7 Co-authored-by: Tom Hubrecht <tom@hubrecht.ovh> Co-committed-by: Tom Hubrecht <tom@hubrecht.ovh>		2023-06-30 09:56:50 +00:00
..
workflows	Add deployment workflow (#7)	2023-06-30 09:56:50 +00:00