Skip to content

Actions: brevis-network/pico

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
112 workflow runs
112 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix: constraint, trace and emulator defects found by a chip eval review Claude #12: Pull request #111 submitted by succinctli
1s
1s
fix: constraint, trace and emulator defects found by a chip eval review Check, Test, and Format #173: Pull request #111 synchronize by kaiwei-0
9m 4s fix/chip-eval-defects
fix/chip-eval-defects
9m 4s
fix: constraint, trace and emulator defects found by a chip eval review Check, Test, and Format #172: Pull request #111 synchronize by kaiwei-0
8m 59s fix/chip-eval-defects
fix/chip-eval-defects
8m 59s
fix: constraint, trace and emulator defects found by a chip eval review Check, Test, and Format #171: Pull request #111 opened by kaiwei-0
11m 0s fix/chip-eval-defects
fix/chip-eval-defects
11m 0s
fix: carry the AOT factory glue in-crate instead of via examples Check, Test, and Format #170: Pull request #110 synchronize by kaiwei-0
9m 9s fix/aot-common-workspace
fix/aot-common-workspace
9m 9s
fix: carry the AOT factory glue in-crate instead of via examples Check, Test, and Format #169: Pull request #110 synchronize by kaiwei-0
8m 51s fix/aot-common-workspace
fix/aot-common-workspace
8m 51s
fix: carry the AOT factory glue in-crate instead of via examples Claude #11: Pull request #110 submitted by zktommy
1s
1s
fix: carry the AOT factory glue in-crate instead of via examples Check, Test, and Format #168: Pull request #110 opened by kaiwei-0
10m 49s fix/aot-common-workspace
fix/aot-common-workspace
10m 49s
fix: RV64 completeness defects in DivRem/Weierstrass & revert RISCOF CI / chip tests (#108, #109) Claude #10: Pull request #107 submitted by succinctli
1s
1s
Panic: Constraint verification failed, chip: DivRem (for REMUW) Claude #9: Issue comment #109 (comment) created by kaiwei-0
1s
1s
Panic: Regional cumulative sum is not zero (for DIVUW) Claude #8: Issue comment #108 (comment) created by kaiwei-0
6s
6s
fix: RV64 completeness defects in DivRem/Weierstrass & revert RISCOF CI / chip tests (#108, #109) Check, Test, and Format #167: Pull request #107 synchronize by kaiwei-0
9m 10s fix-ci-and-tests
fix-ci-and-tests
9m 10s
Panic: Constraint verification failed, chip: DivRem (for REMUW) Claude #7: Issue #109 opened by LeonPaulSchneider
1s
1s
Panic: Regional cumulative sum is not zero (for DIVUW) Claude #6: Issue #108 opened by LeonPaulSchneider
Skipped
Skipped
fix: RV64 completeness defects in DivRem/Weierstrass & revert RISCOF CI / chip tests (#108, #109) Check, Test, and Format #166: Pull request #107 synchronize by kaiwei-0
8m 50s fix-ci-and-tests
fix-ci-and-tests
8m 50s
fix: RV64 completeness defects in DivRem/Weierstrass & revert RISCOF CI / chip tests (#108, #109) Check, Test, and Format #165: Pull request #107 opened by kaiwei-0
11m 0s fix-ci-and-tests
fix-ci-and-tests
11m 0s
feat: release v2.1.0 Claude #5: Pull request #106 submitted by succinctli
1s
1s
feat: release v2.1.0 Check, Test, and Format #164: Pull request #106 opened by kaiwei-0
10m 40s release-prepare-v2.1.0
release-prepare-v2.1.0
10m 40s
[Security] Two Security Issues not covered by PR #101: unconstrained data-memory timestamps and ELF BSS clobber Claude #4: Issue #104 opened by liyue-cs
1s
1s
Pico zkVM Proof-Soundness Vulnerability — Request for Coordinated Disclosure Contact Claude #3: Issue #103 opened by liyue-cs
1s
1s
fix: bind EmbedMachine::verify to embed VK Check, Test, and Format #162: Pull request #102 opened by eason1981
10m 30s fix-embed-verify
fix-embed-verify
10m 30s
fix(bug): soundness and constraints for formal verification Check, Test, and Format #161: Pull request #101 synchronize by eason1981
8m 50s formal-verification-fixes
formal-verification-fixes
8m 50s
fix(bug): soundness and constraints for formal verification Check, Test, and Format #160: Pull request #101 synchronize by eason1981
8m 55s formal-verification-fixes
formal-verification-fixes
8m 55s
fix(bug): soundness and constraints for formal verification Check, Test, and Format #159: Pull request #101 synchronize by eason1981
8m 44s formal-verification-fixes
formal-verification-fixes
8m 44s
fix(bug): soundness and constraints for formal verification Check, Test, and Format #158: Pull request #101 synchronize by eason1981
8m 39s formal-verification-fixes
formal-verification-fixes
8m 39s