ci: automatically push to crates.io on release#462
Merged
plafer merged 8 commits intoinformalsystems:mainfrom erwanor:ci-deployMar 24, 2023
+29-6
Commits
Commits on Mar 24, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
