Add links to public Zulip channel from Github and Dafny web sites. #1049
Triggered via pull request
January 10, 2025 23:32
olivier-aws
olivier-aws
synchronize
#6039
Status
Skipped
Total duration
2s
Artifacts
–