Skip to content

Actions: privacy-scaling-explorations/halo2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,164 workflow runs
2,164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove binding from powerquery coverage #353: Commit 463724a pushed by adria0
October 18, 2024 10:49 3m 13s feat/remove_ipa
feat/remove_ipa
October 18, 2024 10:49 3m 13s
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 IPA Stable lints #850: Pull request #377 synchronize by adria0
October 18, 2024 10:16 53s feat/remove_ipa
feat/remove_ipa
October 18, 2024 10:16 53s
Remove IPA coverage #352: Pull request #377 synchronize by adria0
October 18, 2024 10:16 3m 6s feat/remove_ipa
feat/remove_ipa
October 18, 2024 10:16 3m 6s
Remove IPA CI checks #1270: Pull request #377 synchronize by adria0
October 18, 2024 10:16 1s feat/remove_ipa
feat/remove_ipa
October 18, 2024 10:16 1s
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
Remove binding from powerquery coverage #351: Commit 9bf902b pushed by adria0
October 18, 2024 10:16 3m 7s feat/remove_ipa
feat/remove_ipa
October 18, 2024 10:16 3m 7s
github_actions in /. - Update #903074112 Dependabot Updates #67: by dependabot bot
October 18, 2024 09:50 38s
October 18, 2024 09:50 38s
Remove IPA CI checks #1269: Pull request #377 opened by adria0
October 18, 2024 09:23 1s feat/remove_ipa
feat/remove_ipa
October 18, 2024 09:23 1s
Remove IPA Stable lints #849: Pull request #377 opened by adria0
October 18, 2024 09:23 56s feat/remove_ipa
feat/remove_ipa
October 18, 2024 09:23 56s
Remove IPA coverage #350: Pull request #377 opened by adria0
October 18, 2024 09:23 3m 11s feat/remove_ipa
feat/remove_ipa
October 18, 2024 09:23 3m 11s
No longer commitments to instance in transcript. coverage #349: Commit ba23a98 pushed by adria0
October 18, 2024 09:23 3m 3s feat/remove_ipa
feat/remove_ipa
October 18, 2024 09:23 3m 3s
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
chore: remove some TODOs from codebase Stable lints #848: Pull request #376 opened by guorong009
October 18, 2024 08:27 1m 2s gr@remove-todos-0
gr@remove-todos-0
October 18, 2024 08:27 1m 2s
chore: remove some TODOs from codebase CI checks #1268: Pull request #376 opened by guorong009
October 18, 2024 08:27 2s gr@remove-todos-0
gr@remove-todos-0
October 18, 2024 08:27 2s
chore: remove some TODOs from codebase coverage #348: Pull request #376 opened by guorong009
October 18, 2024 08:27 8m 14s gr@remove-todos-0
gr@remove-todos-0
October 18, 2024 08:27 8m 14s
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: move truncation out of "EvaluationDomain::extended_to_coeff" coverage #347: Commit b43497b pushed by guorong009
October 18, 2024 08:23 3m 14s gr@remove-todos-0
gr@remove-todos-0
October 18, 2024 08:23 3m 14s
github_actions in /. - Update #902524955 Dependabot Updates #66: by dependabot bot
October 17, 2024 09:58 40s
October 17, 2024 09:58 40s
github_actions in /. - Update #901974139 Dependabot Updates #65: by dependabot bot
October 16, 2024 09:57 38s
October 16, 2024 09:57 38s
github_actions in /. - Update #901254461 Dependabot Updates #64: by dependabot bot
October 15, 2024 09:22 41s
October 15, 2024 09:22 41s
github_actions in /. - Update #900444287 Dependabot Updates #63: by dependabot bot
October 14, 2024 09:57 37s
October 14, 2024 09:57 37s
github_actions in /. - Update #899480872 Dependabot Updates #62: by dependabot bot
October 11, 2024 09:32 36s
October 11, 2024 09:32 36s
github_actions in /. - Update #898876589 Dependabot Updates #61: by dependabot bot
October 10, 2024 09:19 39s
October 10, 2024 09:19 39s
Sorry - can be ignored Stable lints #847: Pull request #375 opened by iquerejeta
October 10, 2024 08:21 51s input-output-hk:iquerejeta/midnight-requirements
input-output-hk:iquerejeta/midnight-requirements
October 10, 2024 08:21 51s