New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add example using proof-html GitHub action #651

Merged

gjtorikian merged 1 commit into gjtorikian:main from anishathalye:patch-1

Aug 30, 2021

Contributor

anishathalye commented Aug 29, 2021 •

edited by gjtorikian

Closes #642


          Add example using proof-html GitHub action

1d59518

anishathalye requested a review from gjtorikian as a code owner

August 29, 2021 20:39

Owner

gjtorikian commented Aug 30, 2021

Thanks!

gjtorikian merged commit 6603cae into gjtorikian:main

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment