Edited for clarity: interactive proving #1255
Conversation
mcmoodoo
requested review from
symbolpunk,
TucksonDev,
mahsamoosavi,
anegg0 and
hkalodner
as code owners
|
We require contributors to sign our Contributor License Agreement. In order for us to review and merge your code, please sign the linked documents below to get yourself added. https://na3.docusign.net/Member/PowerFormSigning.aspx?PowerFormId=b15c81cc-b5ea-42a6-9107-3992526f2898&env=na3&acct=6e152afc-6284-44af-a4c1-d8ef291db402&v=2 |
|
The latest updates on your projects. Learn more about Vercel for Git ↗︎
|
|
We require contributors to sign our Contributor License Agreement. In order for us to review and merge your code, please sign the linked documents below to get yourself added. https://na3.docusign.net/Member/PowerFormSigning.aspx?PowerFormId=b15c81cc-b5ea-42a6-9107-3992526f2898&env=na3&acct=6e152afc-6284-44af-a4c1-d8ef291db402&v=2 |
|
We require contributors to sign our Contributor License Agreement. In order for us to review and merge your code, please sign the linked documents below to get yourself added. https://na3.docusign.net/Member/PowerFormSigning.aspx?PowerFormId=b15c81cc-b5ea-42a6-9107-3992526f2898&env=na3&acct=6e152afc-6284-44af-a4c1-d8ef291db402&v=2 |
|
CLA signed a long time ago: How come it's still a blocker?? |
|
@symbolpunk could you look into it or tag someone who can? I've attached a screenshot of CLA signed. In fact I've signed it several times. |
|
⚡️ |
|
@cla-bot check |
|
The cla-bot has been summoned, and re-checked this pull request! |
|
Sorry about the delay! |
|
@hkalodner , seems like the signed CLA hasn't been picked up. I've signed and included the screenshot, perhaps could manually propagate? Need to merge this PR. Thanks everyone. |
|
@hkalodner @symbolpunk @Bartletti Just a reminder that this needs attention. Thanks |
|
We require contributors to sign our Contributor License Agreement. In order for us to review and merge your code, please sign the linked documents below to get yourself added. https://na3.docusign.net/Member/PowerFormSigning.aspx?PowerFormId=b15c81cc-b5ea-42a6-9107-3992526f2898&env=na3&acct=6e152afc-6284-44af-a4c1-d8ef291db402&v=2 |
|
@cla-bot check |
|
We require contributors to sign our Contributor License Agreement. In order for us to review and merge your code, please sign the linked documents below to get yourself added. https://na3.docusign.net/Member/PowerFormSigning.aspx?PowerFormId=b15c81cc-b5ea-42a6-9107-3992526f2898&env=na3&acct=6e152afc-6284-44af-a4c1-d8ef291db402&v=2 |
|
The cla-bot has been summoned, and re-checked this pull request! |
|
|
No description provided.