Skip to content

Actions: HerodotusDev/hdp-sp1

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
132 workflow runs
132 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: prover network Build Program #106: Pull request #22 opened by rkdud007
November 6, 2024 13:22 8m 38s prover-network
prover-network
November 6, 2024 13:22 8m 38s
wip CI #1: Commit 256aee1 pushed by rkdud007
November 6, 2024 13:21 26s prover-network
prover-network
November 6, 2024 13:21 26s
feat: soundness (#18) Build Program #105: Commit b3e5da2 pushed by rkdud007
October 29, 2024 05:33 8m 12s main
main
October 29, 2024 05:33 8m 12s
feat: soundness Build Program #104: Pull request #18 synchronize by rkdud007
October 29, 2024 05:22 8m 21s soundness
soundness
October 29, 2024 05:22 8m 21s
feat: soundness Build Program #103: Pull request #18 synchronize by rkdud007
October 29, 2024 04:58 8m 22s soundness
soundness
October 29, 2024 04:58 8m 22s
feat: soundness Build Program #102: Pull request #18 synchronize by rkdud007
October 29, 2024 04:51 5m 58s soundness
soundness
October 29, 2024 04:51 5m 58s
feat: soundness Build Program #101: Pull request #18 synchronize by rkdud007
October 29, 2024 04:38 3m 58s soundness
soundness
October 29, 2024 04:38 3m 58s
feat: soundness Build Program #100: Pull request #18 synchronize by rkdud007
October 29, 2024 04:34 6m 12s soundness
soundness
October 29, 2024 04:34 6m 12s
feat: soundness Build Program #99: Pull request #18 synchronize by rkdud007
October 28, 2024 07:10 8m 32s soundness
soundness
October 28, 2024 07:10 8m 32s
feat: soundness Build Program #98: Pull request #18 synchronize by rkdud007
October 28, 2024 06:05 6m 13s soundness
soundness
October 28, 2024 06:05 6m 13s
feat: soundness Build Program #97: Pull request #18 opened by rkdud007
October 28, 2024 05:16 5m 56s soundness
soundness
October 28, 2024 05:16 5m 56s
chore: nit (#17) Build Program #96: Commit 0ad4e6a pushed by rkdud007
October 28, 2024 05:15 5m 54s main
main
October 28, 2024 05:15 5m 54s
feat: soundness Build Program #95: Commit 9775384 pushed by rkdud007
October 28, 2024 05:15 6m 9s main
main
October 28, 2024 05:15 6m 9s
chore: nit (#17) Build Program #94: Commit 0ad4e6a pushed by rkdud007
October 28, 2024 03:28 5m 59s main
main
October 28, 2024 03:28 5m 59s
chore: nit Build Program #93: Pull request #17 opened by rkdud007
October 25, 2024 11:04 6m 4s cleanup
cleanup
October 25, 2024 11:04 6m 4s
chore: cleanup (#16) Build Program #92: Commit 0212cc6 pushed by rkdud007
October 25, 2024 10:47 8m 40s main
main
October 25, 2024 10:47 8m 40s
chore: cleanup Build Program #91: Pull request #16 synchronize by rkdud007
October 25, 2024 08:11 6m 16s cleanup
cleanup
October 25, 2024 08:11 6m 16s
chore: cleanup Build Program #90: Pull request #16 synchronize by rkdud007
October 25, 2024 07:39 5m 56s cleanup
cleanup
October 25, 2024 07:39 5m 56s
chore: cleanup Build Program #89: Pull request #16 opened by rkdud007
October 25, 2024 07:23 8m 57s cleanup
cleanup
October 25, 2024 07:23 8m 57s
chore: readme (#13) Build Program #88: Commit 4d5db5e pushed by rkdud007
October 24, 2024 08:12 5m 45s main
main
October 24, 2024 08:12 5m 45s
chore: readme Build Program #87: Pull request #13 opened by rkdud007
October 24, 2024 08:12 6m 13s chain
chain
October 24, 2024 08:12 6m 13s
feat: multi chain (#12) Build Program #86: Commit 1d85273 pushed by rkdud007
October 24, 2024 07:52 6m 0s main
main
October 24, 2024 07:52 6m 0s
feat: multi chain Build Program #85: Pull request #12 synchronize by rkdud007
October 24, 2024 07:49 6m 15s chain
chain
October 24, 2024 07:49 6m 15s
feat: multi chain Build Program #84: Pull request #12 opened by rkdud007
October 24, 2024 07:45 6m 5s chain
chain
October 24, 2024 07:45 6m 5s
feat: receipt memorizer (#11) Build Program #83: Commit ab21b91 pushed by rkdud007
October 24, 2024 06:25 6m 5s main
main
October 24, 2024 06:25 6m 5s