DGNum/dgnum.eu
11
1
Fork 0
Code Issues 4 Pull requests Actions Packages Projects Releases Wiki Activity
51 commits 2 branches 0 tags 14 MiB
Commit graph

1 commit

Author SHA1 Message Date
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