Continuous Integration

Remove redundant per-repo workflows in favor of centralized CI #2

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci / gate	5s
ci / pre-commit	0s
ci / publish	0s
ci / build	0s
ci / dotnet-format	0s
	5s