Skip to content

Actions: succinctlabs/sp1

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
5,425 workflow run results
5,425 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(deps): bump stacker from 0.1.15 to 0.1.17 (#1464) PR #5406: Commit db08c62 pushed by jtguibas
October 11, 2024 00:58 22h 28m 43s dev
dev
October 11, 2024 00:58 22h 28m 43s
chore(deps): bump bindgen from 0.69.4 to 0.70.1 (#1404) PR #5405: Commit cec149b pushed by ctian1
October 11, 2024 00:57 1m 20s dev
dev
October 11, 2024 00:57 1m 20s
fix(cuda): dont discard stderr (#1518) PR #5404: Commit b3f4b18 pushed by ctian1
October 11, 2024 00:48 9m 14s dev
dev
October 11, 2024 00:48 9m 14s
chore: fix all typos PR #5403: Pull request #1626 synchronize by ctian1
October 11, 2024 00:17 1d 2h 58m 1s chris/gro-130-typos-lint
chris/gro-130-typos-lint
October 11, 2024 00:17 1d 2h 58m 1s
feat(cli): improve cargo prove new (#1615) PR #5402: Commit 8c0c542 pushed by ctian1
October 11, 2024 00:03 27m 22s dev
dev
October 11, 2024 00:03 27m 22s
chore: fix all typos PR #5401: Pull request #1626 synchronize by ctian1
October 11, 2024 00:00 17m 26s chris/gro-130-typos-lint
chris/gro-130-typos-lint
October 11, 2024 00:00 17m 26s
chore: fix all typos PR #5400: Pull request #1626 synchronize by ctian1
October 10, 2024 23:59 1m 16s chris/gro-130-typos-lint
chris/gro-130-typos-lint
October 10, 2024 23:59 1m 16s
chore: fix all typos PR #5399: Pull request #1626 synchronize by ctian1
October 10, 2024 22:58 20m 28s chris/gro-130-typos-lint
chris/gro-130-typos-lint
October 10, 2024 22:58 20m 28s
chore: fix all typos PR #5398: Pull request #1626 opened by ctian1
October 10, 2024 22:50 8m 21s chris/gro-130-typos-lint
chris/gro-130-typos-lint
October 10, 2024 22:50 8m 21s
feat: v3.0.0-rc4 PR #5397: Pull request #1624 synchronize by tamirhemo
October 10, 2024 16:30 19m 54s tamir/v3.0.0-rc4
tamir/v3.0.0-rc4
October 10, 2024 16:30 19m 54s
feat: v3.0.0-rc4 PR #5396: Pull request #1624 synchronize by tamirhemo
October 10, 2024 01:31 20m 3s tamir/v3.0.0-rc4
tamir/v3.0.0-rc4
October 10, 2024 01:31 20m 3s
feat: v3.0.0-rc4 PR #5395: Pull request #1624 synchronize by tamirhemo
October 9, 2024 22:12 20m 37s tamir/v3.0.0-rc4
tamir/v3.0.0-rc4
October 9, 2024 22:12 20m 37s
feat: v3.0.0-rc4 PR #5394: Pull request #1624 opened by tamirhemo
October 9, 2024 22:11 52s tamir/v3.0.0-rc4
tamir/v3.0.0-rc4
October 9, 2024 22:11 52s
feat: dummy proof generation and inclusion by shape PR #5393: Pull request #1622 synchronize by tamirhemo
October 9, 2024 21:31 1d 5h 44m 44s tamir/shape-tests
tamir/shape-tests
October 9, 2024 21:31 1d 5h 44m 44s
feat: dummy proof generation and inclusion by shape PR #5392: Pull request #1622 synchronize by tamirhemo
October 9, 2024 21:23 8m 21s tamir/shape-tests
tamir/shape-tests
October 9, 2024 21:23 8m 21s
fix: build errors on custom bin target names (#1623) PR #5391: Commit 613f577 pushed by xJonathanLEI
October 9, 2024 19:07 5m 31s dev
dev
October 9, 2024 19:07 5m 31s
fix: build errors on custom bin target names PR #5390: Pull request #1623 opened by xJonathanLEI
October 9, 2024 18:27 27m 14s jon/gro-162-non-standard-bin-target-name-fails-build
jon/gro-162-non-standard-bin-target-name-fails-build
October 9, 2024 18:27 27m 14s
feat: new include_elf! macro for importing ELF (#1620) PR #5389: Commit 9987854 pushed by xJonathanLEI
October 9, 2024 17:47 27m 46s dev
dev
October 9, 2024 17:47 27m 46s
feat: v3.0.0-rc3 PR #5388: Pull request #1450 synchronize by jtguibas
October 9, 2024 10:20 1d 5h 18m 49s tamir/v1.3.0-rc2
tamir/v1.3.0-rc2
October 9, 2024 10:20 1d 5h 18m 49s
feat: dummy proof generation and inclusion by shape PR #5387: Pull request #1622 synchronize by tamirhemo
October 9, 2024 03:43 23m 34s tamir/shape-tests
tamir/shape-tests
October 9, 2024 03:43 23m 34s
feat: dummy proof generation and inclusion by shape PR #5386: Pull request #1622 opened by tamirhemo
October 9, 2024 02:32 1h 11m 12s tamir/shape-tests
tamir/shape-tests
October 9, 2024 02:32 1h 11m 12s
feat: shape artifacts in s3 PR #5385: Pull request #1621 synchronize by jtguibas
October 9, 2024 01:20 1d 1h 55m 9s john/shape-artifacts-s3
john/shape-artifacts-s3
October 9, 2024 01:20 1d 1h 55m 9s
feat: shape artifacts in s3 PR #5384: Pull request #1621 opened by jtguibas
October 9, 2024 01:07 13m 39s john/shape-artifacts-s3
john/shape-artifacts-s3
October 9, 2024 01:07 13m 39s
chore: cargo machete PR #5383: Pull request #1606 synchronize by ratankaliani
October 8, 2024 19:37 29m 41s ratan/chore-cargo-machete
ratan/chore-cargo-machete
October 8, 2024 19:37 29m 41s
chore: cargo machete PR #5382: Pull request #1606 synchronize by ratankaliani
October 8, 2024 18:06 1h 30m 41s ratan/chore-cargo-machete
ratan/chore-cargo-machete
October 8, 2024 18:06 1h 30m 41s