Message Zulip when a PR is opened

add AUB course on formal verification #123

Sign in to view logs

Triggered via pull request January 12, 2026 09:31

opened #769

Status Success

Total duration 7s

Artifacts –

message_zulip_on_prs.yml

on: pull_request_target