Skip to content

Actions: QED-it/halo2

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
811 workflow runs
811 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add multiplexer.md
CI checks #218: Commit c2e2447 pushed by YaoJGalteland
March 7, 2024 09:13 18m 30s circuit_changes_draft
March 7, 2024 09:13 18m 30s
add multiplexer.md
Beta lints #122: Commit c2e2447 pushed by YaoJGalteland
March 7, 2024 09:13 1m 15s circuit_changes_draft
March 7, 2024 09:13 1m 15s
Circuit changes draft
CI checks #217: Pull request #24 synchronize by YaoJGalteland
March 6, 2024 10:57 23m 23s circuit_changes_draft
March 6, 2024 10:57 23m 23s
Circuit changes draft
Stable lints #96: Pull request #24 synchronize by YaoJGalteland
March 6, 2024 10:57 4m 33s circuit_changes_draft
March 6, 2024 10:57 4m 33s
update decomposition
Beta lints #121: Commit bab9cfa pushed by YaoJGalteland
March 6, 2024 10:57 1m 10s circuit_changes_draft
March 6, 2024 10:57 1m 10s
update decomposition
CI checks #216: Commit bab9cfa pushed by YaoJGalteland
March 6, 2024 10:57 17m 50s circuit_changes_draft
March 6, 2024 10:57 17m 50s
Circuit changes draft
Stable lints #95: Pull request #24 synchronize by YaoJGalteland
March 4, 2024 13:54 4m 28s circuit_changes_draft
March 4, 2024 13:54 4m 28s
Circuit changes draft
CI checks #215: Pull request #24 synchronize by YaoJGalteland
March 4, 2024 13:54 23m 33s circuit_changes_draft
March 4, 2024 13:54 23m 33s
Circuit changes draft
CI checks #211: Pull request #24 opened by PaulLaux
February 23, 2024 07:55 22m 2s circuit_changes_draft
February 23, 2024 07:55 22m 2s
Circuit changes draft
Stable lints #94: Pull request #24 opened by PaulLaux
February 23, 2024 07:55 4m 21s circuit_changes_draft
February 23, 2024 07:55 4m 21s
Move mux functionality into CondSwap chip
CI checks #210: Commit 5f436dc pushed by PaulLaux
February 23, 2024 07:55 17m 50s circuit_changes_draft
February 23, 2024 07:55 17m 50s
Move mux functionality into CondSwap chip
Beta lints #117: Commit 5f436dc pushed by PaulLaux
February 23, 2024 07:55 1m 9s circuit_changes_draft
February 23, 2024 07:55 1m 9s
Apply Rust formatting with cargo fmt
Beta lints #116: Commit 78b877d pushed by YaoJGalteland
December 19, 2023 18:51 1m 11s bool-task
December 19, 2023 18:51 1m 11s
Apply Rust formatting with cargo fmt
CI checks #209: Commit 78b877d pushed by YaoJGalteland
December 19, 2023 18:51 21m 51s bool-task
December 19, 2023 18:51 21m 51s
add main function
CI checks #208: Commit e552574 pushed by YaoJGalteland
December 19, 2023 18:43 21m 45s bool-task
December 19, 2023 18:43 21m 45s
add main function
Beta lints #115: Commit e552574 pushed by YaoJGalteland
December 19, 2023 18:43 1m 9s bool-task
December 19, 2023 18:43 1m 9s
December 19, 2023 14:01 1m 3s
circuit task: add a boolean input to influence the verification output
CI checks #207: Commit 45bf11a pushed by YaoJGalteland
December 19, 2023 14:01 21m 49s bool-task
December 19, 2023 14:01 21m 49s
Merge pull request #805 from zcash/check-in-lockfile
Beta lints #113: Commit 7fd2ce2 pushed by YaoJGalteland
December 19, 2023 13:40 1m 14s bool-task
December 19, 2023 13:40 1m 14s
ProTip! You can narrow down the results and go further in time using created:<2023-12-19 or the other filters available.