Skip to content

improvement(executor): correctness-by-construction for workflow logs #4381

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
waleedlatif1 wants to merge 32 commits into from

improvement(executor): correctness-by-construction for workflow logs

31ecd39
Select commit
Loading
Failed to load commit list.
Closed

improvement(executor): correctness-by-construction for workflow logs #4381

improvement(executor): correctness-by-construction for workflow logs
31ecd39
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL failed May 1, 2026 in 3s

1 new alert including 1 high severity security vulnerability

New alerts in code changed by this pull request

Security Alerts:

  • 1 high

Alerts not introduced by this pull request might have been detected because the code changes were too large.

See annotations below for details.

View all branch alerts.

Annotations

Check failure on line 77 in apps/sim/app/api/tools/mail/send/route.ts

See this annotation in the file changed.

Code scanning / CodeQL

Incomplete multi-character sanitization High

This string may still contain
<script
Loading
, which may cause an HTML element injection vulnerability.