.github/workflows/pull_request.yml

add link to lean zulip channel #612

Sign in to view logs

Triggered via pull request January 31, 2025 17:37

teorth

opened #217

add-link-to-zulip

Status Success

Total duration 5m 49s

Artifacts –

pull_request.yml

on: pull_request

Build blueprint