CI

CI: Switch CI to `pathogen-repo-ci` workflow #420

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci / configuration	2s
ci / workflow-context	5s
ci / build (docker)	1m 24s
ci / build (conda)	1m 23s
	2m 54s