Skip to content

Actions: QED-it/halo2

Beta lints

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
24 workflow run results
24 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update lookup_range_check
Beta lints #138: Commit dc93a71 pushed by YaoJGalteland
March 21, 2024 11:58 1m 15s improve-backward-compatability
March 21, 2024 11:58 1m 15s
update lookup_range_check
Beta lints #137: Commit 9ef46c3 pushed by YaoJGalteland
March 21, 2024 11:55 1m 18s improve-backward-compatability
March 21, 2024 11:55 1m 18s
update lookup_range_check
Beta lints #136: Commit 75de4f6 pushed by YaoJGalteland
March 21, 2024 11:40 1m 20s improve-backward-compatability
March 21, 2024 11:40 1m 20s
restructuring decomposition
Beta lints #135: Commit 9127199 pushed by YaoJGalteland
March 13, 2024 12:45 1m 17s circuit_changes_draft
March 13, 2024 12:45 1m 17s
Move mux functionality into CondSwap chip
Beta lints #134: Commit 5f436dc pushed by YaoJGalteland
March 12, 2024 09:23 1m 11s test-runtime
March 12, 2024 09:23 1m 11s
fix the problem from deny(missing_docs)
Beta lints #133: Commit c791418 pushed by YaoJGalteland
March 11, 2024 19:19 1m 10s verifiable-encryption
March 11, 2024 19:19 1m 10s
remove #[cfg(test)]
Beta lints #132: Commit 7c95330 pushed by YaoJGalteland
March 11, 2024 19:10 1m 9s verifiable-encryption
March 11, 2024 19:10 1m 9s
update feature
Beta lints #131: Commit 9c647a2 pushed by YaoJGalteland
March 11, 2024 19:06 1m 18s verifiable-encryption
March 11, 2024 19:06 1m 18s
modify features for verifiable-encryption
Beta lints #130: Commit b7f99b6 pushed by YaoJGalteland
March 11, 2024 14:34 1m 8s verifiable-encryption
March 11, 2024 14:34 1m 8s
Move mux functionality into CondSwap chip
Beta lints #129: Commit 5f436dc pushed by YaoJGalteland
March 11, 2024 14:31 1m 9s verifiable-encryption
March 11, 2024 14:31 1m 9s
remove mux.md
Beta lints #128: Commit 39584d2 pushed by YaoJGalteland
March 11, 2024 09:02 1m 11s circuit_changes_draft
March 11, 2024 09:02 1m 11s
change mux to cond_swap
Beta lints #127: Commit e5d931f pushed by YaoJGalteland
March 11, 2024 08:51 1m 8s circuit_changes_draft
March 11, 2024 08:51 1m 8s
fix some math formation
Beta lints #126: Commit 3214449 pushed by YaoJGalteland
March 8, 2024 14:04 1m 7s circuit_changes_draft
March 8, 2024 14:04 1m 7s
update mux
Beta lints #125: Commit 3b66777 pushed by YaoJGalteland
March 7, 2024 20:07 1m 13s circuit_changes_draft
March 7, 2024 20:07 1m 13s
fix code running problem
Beta lints #124: Commit 21c2cac pushed by YaoJGalteland
March 7, 2024 14:14 1m 16s circuit_changes_draft
March 7, 2024 14:14 1m 16s
edit summary
Beta lints #123: Commit 11778cf pushed by YaoJGalteland
March 7, 2024 12:44 1m 10s circuit_changes_draft
March 7, 2024 12:44 1m 10s
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
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
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