-
Notifications
You must be signed in to change notification settings - Fork 2
Pull requests: marcelofarias/botscript
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat: VER001/VER002 — unenforced effect declarations below enforcement floor (closes #80)
#82
opened May 22, 2026 by
marcelofarias
Owner
Loading…
12 tasks done
feat: MAT001 — non-exhaustive Result match (?bs 0.9)
#79
opened May 21, 2026 by
marcelofarias
Owner
Loading…
10 tasks done
feat: THR002 — undeclared error type construction (?bs 0.9)
#66
opened May 19, 2026 by
marcelofarias
Owner
Loading…
11 tasks done
feat: UNS005 — external call without declared result contract (?bs 0.9)
#63
opened May 18, 2026 by
marcelofarias
Owner
Loading…
8 tasks
ProTip!
Filter pull requests by the default branch with base:main.