The results on this page are outdated.

The AI detection definitions or scanner version have been updated! Re-scan this repository for more accurate results.

github.com/FStarLang/FStar (link)

the signals and their derived score are provisional and subject to change.

validate manually before sharing.

score
91 (A)
mode
Full
last commit
5b780805b9aef2dcbb6046f5f1b850ae672fd620
analyzed on
Mon, 15 Jun 2026 02:06:32 +0000
total evidence
178
branch

commit signals (178)

Kind
Tool
Commit
Date
AiCoAuthorgithub-copilot3a7b99e1f0874 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot76ce75bd04384 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot4f753d2203395 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotad4d24ce05185 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotc5c44d584f8d5 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotcbea307267595 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotb537cbc3d9bf5 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot511c14a69a035 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot9f73870012185 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot10ec42eb04d45 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot3560c82cecec5 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot90be5f0e51615 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Remaining 166 commits
Kind
Tool
Commit
Date
AiCoAuthorgithub-copilot3cedfb6603b05 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot8f96b4ef32b45 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot766f80a8f1335 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot5dc563b4ad325 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotfb88bbeba7545 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot5a8553f8f99d5 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot6bf20e9b905d5 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotdc6ad8768b845 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotaad82078eafd5 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot18377f3e02336 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotc6e25796dbeb6 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotbb4efc8807cc6 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotb4d2a58dce476 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiAuthorgithub-copilotd145c86c86346 months agocopilot-swe-agent[bot]
AiCoAuthorgithub-copilot5163d246c8be6 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot89e5e9bb95456 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotd22b14e80b546 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot0e3f2c4159106 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot9e1b0e38145d6 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot8d9188ff7c4e6 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot0204c99ac8766 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot9e1ce64f81106 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot63506b4e00576 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot8ca8d29604b86 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot71740b4867906 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotd0e421a008216 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotcc12581270d36 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotb7e317b127746 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot1fe94b1f8f266 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot37096cc4cf246 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotab57ed28571f6 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot12556fb1e8046 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot58395e9872906 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotf48417956cde6 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot12a424643f7a6 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotcdb9cf5ee0866 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotf0e155174a4a6 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotdd8a45d646596 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot2a1b5fe116826 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot3694167030126 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotb6e3f834a2f36 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot067ec21f9ed26 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot7e468aa485806 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot04c562ecbbe06 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot9c7aa07025676 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot9d6dfee8a4d86 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot5e7a3dc263fc6 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot7761cc4265da6 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot8510654e45656 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilota86bed914fb06 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorclaude-code639b44a73a626 months agoCo-authored-by: Copilot CLI (Claude Opus) <noreply@github.com>
AiCoAuthorgithub-copilot639b44a73a626 months agoCo-authored-by: Copilot CLI (Claude Opus) <noreply@github.com>
AiCoAuthorgithub-copilotaca2703a4d216 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot26d3814103356 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot5fdd78f7ef536 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot9a7228f8c8f16 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot8fe07c40bb486 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot92ea1043e03c6 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotf8f0dd3efa276 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotcba64c4444497 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotda8ecbd010737 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotb8b5c0625a877 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot609cb8b1bf3b7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot2e44f3dd04dd7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot197c77ccfa4f7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot225ce00d0d3e7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotdf76c93390737 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot7670e3b8ab967 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotf9e5d529dc8f7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot25c8cd7136dd7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot0d1868cb1cd67 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotc032ba3db74c7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot198146c4e9327 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot9b3cc724ea257 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotbe57cbbd60277 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot2ddc4d07154e7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot5c2d31dee6077 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot737207cdfd207 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copiloteed9f269019c7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot990bebcd75477 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilota64e97f07fc57 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot6a0420b5af797 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot001afbae1a937 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot2e6fd0051dfa7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotf20b8fafb29c7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot71f4673982f47 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot8fb565264ec07 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilota0107e607ba47 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot47e1199500867 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot6753eb92467c7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot286fa485506e7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot5d4a143e8fea7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot975bcc8e1c277 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot111fb76dec7d7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilote28ebcbcfd447 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot7fa0ac4c630f7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotc811f11934667 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotcea6c89df33e7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot04949eb662ae7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotfbf87d4768b57 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot2af15f7e59837 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot029e32f1a2407 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot28dac17533b07 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot5821b24428ad7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot568fc39bf2297 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotf84e44433d8a7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotdbd78179c5437 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot002ed516e0e27 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot3e8d562e55ee7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot8659ab7b017f7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotcd0afb7e4bca7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot89e38f44b33c7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot9bf2fdff61a57 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotdb92ca29359a7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilota171be2807fe7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot1464b6beb4167 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotfa1f1b33103c7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotff5497cda92e7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot1509089d9e257 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotea9e36cdc3ab7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilota64d4eefd6a47 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot51c2a39c309a7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot32873cb3a7537 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilota07cfc21d43b7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot99915d4bbed87 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotf2df9f9521d37 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot93a40acfc58f7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotfb77e679f6e57 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot8fee8b2c69397 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilota83dae11762f7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot37a3ef43f8277 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotb424a6485d5d7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotc9d154f861cb7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot1bc97d73ee827 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotc87726d43f3d7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot9626658b5f5f7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilote8bb6bc6b1037 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot0c80ba29a6be7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot45cad5733f997 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot04fc929fc9467 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot6684b24414967 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilote9b602f86c717 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot4afc33db201d7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot057827c287147 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot824b2ad550457 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot54a16f87ae107 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot1048ebce50d07 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot4be27faa44cc7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotc853e6c691927 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot9f68f60cc8037 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot6ac25c667e8c7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotd71352b872b87 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotcb4dc30259be7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot733d60db2fb07 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot15db3d69c00a7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotcbdfb8eab3a87 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilote36238fd94247 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot9d4e5c0580fd7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotc6f15721512c7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilotbaf72eaaf8857 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorgithub-copilot42baea8ec1ec7 months agoCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
AiCoAuthorclaude-codec687fca380148 months agoCo-authored-by: Copilot CLI (Claude Opus) <noreply@github.com>
AiCoAuthorgithub-copilotc687fca380148 months agoCo-authored-by: Copilot CLI (Claude Opus) <noreply@github.com>
AiCoAuthorgithub-copilotd16a366218318 months agoCo-authored-by: GitHub Copilot CLI (gpt-5.2-codex xhigh)
AiCoAuthorclaude-code014cbc133afc8 months agoCo-authored-by: GitHub Copilot CLI (claude opus 4.5)
AiCoAuthorgithub-copilot014cbc133afc8 months agoCo-authored-by: GitHub Copilot CLI (claude opus 4.5)

source signals (0)

none

ignorefile signals (0)

none