Skip to content
Test documentation

Add links to public Zulip channel from Github and Dafny web sites. #11091

Sign in to view logs

Add links to public Zulip channel from Github and Dafny web sites.

Add links to public Zulip channel from Github and Dafny web sites. #11091

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
6s
doctests
14m 12s
14m 18s