typeshed icon indicating copy to clipboard operation
typeshed copied to clipboard

Added types for atheris

Open radarhere opened this issue 1 year ago • 7 comments

Adding types for https://github.com/google/atheris

radarhere avatar Jul 30 '24 14:07 radarhere

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

github-actions[bot] avatar Jul 30 '24 14:07 github-actions[bot]

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

github-actions[bot] avatar Jul 30 '24 15:07 github-actions[bot]

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

github-actions[bot] avatar Jul 30 '24 23:07 github-actions[bot]

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

github-actions[bot] avatar Jul 31 '24 11:07 github-actions[bot]

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

github-actions[bot] avatar Aug 01 '24 13:08 github-actions[bot]

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

github-actions[bot] avatar Aug 01 '24 22:08 github-actions[bot]

Let me know if there is any further work that would help this progress.

radarhere avatar Aug 27 '24 03:08 radarhere

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

github-actions[bot] avatar Aug 30 '24 01:08 github-actions[bot]

Sure. I've added a comment for one, and figured out alternatives for the others.

radarhere avatar Aug 30 '24 02:08 radarhere

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

github-actions[bot] avatar Aug 30 '24 02:08 github-actions[bot]

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

github-actions[bot] avatar Aug 30 '24 12:08 github-actions[bot]

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

github-actions[bot] avatar Aug 30 '24 12:08 github-actions[bot]

I'm sorry for the long delay before we managed to review and merge it.

srittau avatar Aug 30 '24 12:08 srittau

No worries, I understand there are many other PRs that come in.

Thanks very much

radarhere avatar Aug 30 '24 12:08 radarhere