Skip to content

Actions: zkFold/symbolic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,748 workflow runs
1,748 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #660 from zkFold/TurtlePU/ghc-96-fix CI Push #280: Commit 2ff6d25 pushed by TurtlePU
July 22, 2025 20:25 10m 5s main
main
July 22, 2025 20:25 10m 5s
GHC 9.6 fix CI Pull Request #1733: Pull request #660 opened by TurtlePU
July 22, 2025 13:02 2h 56m 30s TurtlePU/ghc-96-fix
TurtlePU/ghc-96-fix
July 22, 2025 13:02 2h 56m 30s
WIP Rust prover CI Pull Request #1732: Pull request #655 synchronize by diS3e
July 22, 2025 07:17 1m 33s rust_prover
rust_prover
July 22, 2025 07:17 1m 33s
WIP Rust prover CI Pull Request #1731: Pull request #655 synchronize by vks4git
July 21, 2025 12:21 3h 44m 23s rust_prover
rust_prover
July 21, 2025 12:21 3h 44m 23s
WIP Rust prover CI Pull Request #1730: Pull request #655 synchronize by vks4git
July 21, 2025 11:01 4h 11m 39s rust_prover
rust_prover
July 21, 2025 11:01 4h 11m 39s
WIP Rust prover CI Pull Request #1729: Pull request #655 synchronize by diS3e
July 21, 2025 10:39 5h 3m 16s rust_prover
rust_prover
July 21, 2025 10:39 5h 3m 16s
WIP Rust prover CI Pull Request #1728: Pull request #655 synchronize by diS3e
July 21, 2025 09:22 6h 0m 18s rust_prover
rust_prover
July 21, 2025 09:22 6h 0m 18s
WIP Rust prover CI Pull Request #1727: Pull request #655 opened by vks4git
July 21, 2025 08:15 2h 52m 23s rust_prover
rust_prover
July 21, 2025 08:15 2h 52m 23s
Merge pull request #654 from zkFold/TurtlePU/652 CI Push #279: Commit 8ae3e38 pushed by TurtlePU
July 19, 2025 14:37 10m 50s main
main
July 19, 2025 14:37 10m 50s
Experimental AC type CI Pull Request #1726: Pull request #654 synchronize by TurtlePU
July 19, 2025 10:52 3h 24m 14s TurtlePU/652
TurtlePU/652
July 19, 2025 10:52 3h 24m 14s
Experimental AC type CI Pull Request #1725: Pull request #654 synchronize by TurtlePU
July 19, 2025 08:34 6h 0m 21s TurtlePU/652
TurtlePU/652
July 19, 2025 08:34 6h 0m 21s
Experimental AC type CI Pull Request #1724: Pull request #654 synchronize by TurtlePU
July 19, 2025 07:23 1h 12m 24s TurtlePU/652
TurtlePU/652
July 19, 2025 07:23 1h 12m 24s
Merge pull request #642 from zkFold/TurtlePU/383 CI Push #278: Commit de21a8a pushed by vlasin
July 18, 2025 17:33 10m 2s main
main
July 18, 2025 17:33 10m 2s
Experimental AC type CI Pull Request #1723: Pull request #654 synchronize by TurtlePU
July 18, 2025 16:35 2h 46m 38s TurtlePU/652
TurtlePU/652
July 18, 2025 16:35 2h 46m 38s
Experimental AC type CI Pull Request #1722: Pull request #654 synchronize by TurtlePU
July 18, 2025 13:49 2h 46m 16s TurtlePU/652
TurtlePU/652
July 18, 2025 13:49 2h 46m 16s
UPLC M4 CI Pull Request #1721: Pull request #642 synchronize by vlasin
July 18, 2025 13:04 3h 37m 8s TurtlePU/383
TurtlePU/383
July 18, 2025 13:04 3h 37m 8s
Merge pull request #645 from zkFold/vlasin/ivc-with-ops-record CI Push #277: Commit b046831 pushed by vlasin
July 18, 2025 13:04 8m 28s main
main
July 18, 2025 13:04 8m 28s
Experimental AC type CI Pull Request #1720: Pull request #654 opened by TurtlePU
July 16, 2025 16:05 3h 11m 18s TurtlePU/652
TurtlePU/652
July 16, 2025 16:05 3h 11m 18s
UPLC M4 CI Pull Request #1719: Pull request #642 synchronize by TurtlePU
July 16, 2025 14:44 3h 3m 45s TurtlePU/383
TurtlePU/383
July 16, 2025 14:44 3h 3m 45s
IVC update CI Pull Request #1718: Pull request #645 synchronize by vlasin
July 16, 2025 12:24 2h 57m 15s vlasin/ivc-with-ops-record
vlasin/ivc-with-ops-record
July 16, 2025 12:24 2h 57m 15s
Merge pull request #651 from zkFold/598-validate-keccak CI Push #276: Commit bbdc99f pushed by vlasin
July 16, 2025 12:24 8m 46s main
main
July 16, 2025 12:24 8m 46s
feat(#598): validate Keccak for VarByteString and update correspond… CI Pull Request #1717: Pull request #651 synchronize by sourabhxyz
July 14, 2025 13:05 3h 14m 5s 598-validate-keccak
598-validate-keccak
July 14, 2025 13:05 3h 14m 5s
Merge pull request #650 from zkFold/649-support-macos-dyn-lib-rust-ffi CI Push #275: Commit 22b73a8 pushed by sourabhxyz
July 14, 2025 13:05 8m 31s main
main
July 14, 2025 13:05 8m 31s
feat(#598): validate Keccak for VarByteString and update correspond… CI Pull Request #1716: Pull request #651 synchronize by sourabhxyz
July 14, 2025 11:24 3h 21m 3s 598-validate-keccak
598-validate-keccak
July 14, 2025 11:24 3h 21m 3s
feat(#598): validate Keccak for VarByteString and update correspond… CI Pull Request #1715: Pull request #651 opened by sourabhxyz
July 14, 2025 11:21 3m 8s 598-validate-keccak
598-validate-keccak
July 14, 2025 11:21 3m 8s