Skip to content

Actions: privacy-scaling-explorations/halo2

Actions

Beta lints

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lints-beta.yml
538 workflow runs
538 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove binding from powerquery, fix docs Beta lints #743: Commit ec3ab13 pushed by adria0
October 18, 2024 11:48 58s feat/remove_ipa
feat/remove_ipa
October 18, 2024 11:48 58s
Remove binding from powerquery, fix docs Beta lints #742: Commit 747d837 pushed by adria0
October 18, 2024 11:14 1m 3s feat/remove_ipa
feat/remove_ipa
October 18, 2024 11:14 1m 3s
Remove binding from powerquery, fix docs Beta lints #741: Commit aa26952 pushed by adria0
October 18, 2024 11:10 1m 7s feat/remove_ipa
feat/remove_ipa
October 18, 2024 11:10 1m 7s
Remove binding from powerquery Beta lints #740: Commit 463724a pushed by adria0
October 18, 2024 10:49 57s feat/remove_ipa
feat/remove_ipa
October 18, 2024 10:49 57s
Remove binding from powerquery Beta lints #739: Commit 9bf902b pushed by adria0
October 18, 2024 10:16 1m 4s feat/remove_ipa
feat/remove_ipa
October 18, 2024 10:16 1m 4s
No longer commitments to instance in transcript. Beta lints #738: Commit ba23a98 pushed by adria0
October 18, 2024 09:23 59s feat/remove_ipa
feat/remove_ipa
October 18, 2024 09:23 59s
feat: move truncation out of "EvaluationDomain::extended_to_coeff" Beta lints #737: Commit b43497b pushed by guorong009
October 18, 2024 08:23 59s gr@remove-todos-0
gr@remove-todos-0
October 18, 2024 08:23 59s
feat: split create_proof (#365) Beta lints #736: Commit f0a2ebd pushed by guorong009
October 9, 2024 09:49 1m 3s main
main
October 9, 2024 09:49 1m 3s
chore: correct typo(1) Beta lints #735: Commit 8e8d884 pushed by guorong009
October 8, 2024 10:14 58s gr@split-create-proof
gr@split-create-proof
October 8, 2024 10:14 58s
chore: correct typo Beta lints #734: Commit 308ceea pushed by guorong009
October 8, 2024 10:13 1m 5s gr@split-create-proof
gr@split-create-proof
October 8, 2024 10:13 1m 5s
chore: Bump crate-ci/typos from 1.24.6 to 1.26.0 Beta lints #733: Commit e2d990f pushed by dependabot bot
October 8, 2024 09:38 1m 0s dependabot/github_actions/crate-ci/typos-1.26.0
dependabot/github_actions/crate-ci/typos-1.26.0
October 8, 2024 09:38 1m 0s
chore: Bump crate-ci/typos from 1.24.6 to 1.25.0 Beta lints #732: Commit 15b3c64 pushed by dependabot bot
October 1, 2024 09:45 58s dependabot/github_actions/crate-ci/typos-1.25.0
dependabot/github_actions/crate-ci/typos-1.25.0
October 1, 2024 09:45 58s
Merge branch 'main' into gr@split-create-proof Beta lints #731: Commit 445abe5 pushed by guorong009
September 27, 2024 08:08 1m 14s gr@split-create-proof
gr@split-create-proof
September 27, 2024 08:08 1m 14s
feat: refactor the verify api (#359) Beta lints #730: Commit 553953d pushed by guorong009
September 27, 2024 07:42 1m 6s main
main
September 27, 2024 07:42 1m 6s
doc: add comments to permutation prover structs (#355) Beta lints #729: Commit 486770c pushed by adria0
September 26, 2024 11:35 1m 9s main
main
September 26, 2024 11:35 1m 9s
Merge branch 'main' into gr@doc-permutation-prover-structs Beta lints #728: Commit e817f27 pushed by guorong009
September 26, 2024 09:18 59s gr@doc-permutation-prover-structs
gr@doc-permutation-prover-structs
September 26, 2024 09:18 59s
Merge branch 'main' into gr@verify-api-fix Beta lints #727: Commit 6061bf6 pushed by guorong009
September 26, 2024 09:17 1m 10s gr@verify-api-fix
gr@verify-api-fix
September 26, 2024 09:17 1m 10s
feat: improve error handling(Error::Synthesis) (#368) Beta lints #726: Commit 7c368af pushed by guorong009
September 26, 2024 09:16 1m 1s main
main
September 26, 2024 09:16 1m 1s
chore: Bump crate-ci/typos from 1.22.7 to 1.24.6 (#369) Beta lints #725: Commit b8abc2e pushed by guorong009
September 26, 2024 07:23 1m 4s main
main
September 26, 2024 07:23 1m 4s
Merge branch 'main' into gr@verify-api-fix Beta lints #724: Commit c4bfe60 pushed by guorong009
September 26, 2024 07:16 1m 4s gr@verify-api-fix
gr@verify-api-fix
September 26, 2024 07:16 1m 4s
Merge branch 'main' into gr@improve-synthesis-error Beta lints #723: Commit 3baa282 pushed by guorong009
September 26, 2024 07:06 1m 5s gr@improve-synthesis-error
gr@improve-synthesis-error
September 26, 2024 07:06 1m 5s
chore: add more tests (#361) Beta lints #722: Commit 81c7058 pushed by guorong009
September 26, 2024 07:03 1m 1s main
main
September 26, 2024 07:03 1m 1s
test: remove extra unit test in "cost" Beta lints #721: Commit 3971b7f pushed by guorong009
September 26, 2024 06:55 1m 4s gr@add-more-tests
gr@add-more-tests
September 26, 2024 06:55 1m 4s
feat: add 2 examples for serialization and circuit cost Beta lints #720: Commit b81e32d pushed by guorong009
September 25, 2024 10:23 1m 2s gr@add-more-tests
gr@add-more-tests
September 25, 2024 10:23 1m 2s
test: remove "identifier" tests Beta lints #719: Commit c501625 pushed by guorong009
September 25, 2024 08:06 1m 4s gr@add-more-tests
gr@add-more-tests
September 25, 2024 08:06 1m 4s