.github/workflows/push.yml

Merge pull request #217 from AlexKontorovich/add-link-to-zulip #299

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	2s
Build docs	2s
Build blueprint	3s
Build blueprint	5s
	12s