Libra CodeHub
CedarCopilot/cedar-mail
Branch: staging
Code
Pull requests
8
Commits
Insights
Runs
ci: typecheck shipping source on every PR
merged
#2631
CedarCopilot
CedarCopilot wants to merge 2 commits into
staging
from
fix/ci-typecheck
Conversation
Commits
Files changed (3)
Checks
Revisions
8b121c6
first seen Aug 30, 2026, 10:19 PM
5/5
Verified as far as it ran
Targeted checks
Aug 30, 2026, 10:23 PM
5b01b3c
first seen Aug 30, 2026, 10:06 PM
5/5
Verified as far as it ran
Targeted checks
Aug 30, 2026, 10:10 PM
Commits on the base branch
5a2da73
Merge pull request #2631 from CedarCopilot/fix/ci-typecheck
isabelle-cedar
Aug 30, 2026, 10:40 PM