Skip to content

Pull requests: tarikskalic33/info

New pull request New
25 Open 8 Closed
25 Open 8 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

ci: UCI-1 exact-head witness
#25 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
test: AEGIS PR5A provider binding GREEN witness
#24 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
test: AEGIS PR5A provider binding RED witness
#23 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
test: AEGIS PR5A final baseline witness
#22 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
test: AEGIS PR5A MCP GREEN witness
#21 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
test: AEGIS PR5A full baseline witness
#20 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
test: AEGIS PR5A compatibility GREEN witness
#19 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
test: AEGIS PR5A exact merge witness
#18 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
test: AEGIS PR-4 RED witness
#17 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
test: prove AEGIS PR3 VerifyEffect contract RED
#16 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
test: final AEGIS PR2 observation-only exact-head witness
#15 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
test: verify AEGIS PR2 observation-before-receipt boundary
#14 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
security: triage AEGIS PR264 dependency graph
#13 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
test: verify PR264 verification-fix exact head
#12 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
test: verify AEGIS PR264 exact head externally
#11 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
test: policy-bound AEGIS PR-2 final exact-head witness
#10 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
test: final scoped AEGIS PR-2 exact-head witness
#9 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
test: full AEGIS PR-2 exact-head witness
#8 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
test: external AEGIS PR-2 targeted witness
#7 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
test: AEGIS PR-2 effect observation exact-head witness
#6 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
test: AEGIS PR-2 TDD RED witness
#5 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
test(trace): candidate authority-staleness fixtures for TRACE #66
#4 opened Aug 19, 2026 by tarikskalic33 Owner Loading…
1
test: AEGIS PR-1 external exact-head witness
#3 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
feat: Proofline Fleet contest-period demonstrator
#2 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
test: verify ADK 2.6.3 binary wheel on Python 3.12/3.13
#1 opened Aug 19, 2026 by tarikskalic33 Owner • Draft
ProTip! Mix and match filters to narrow down what you’re looking for.