Skip to content

Actions: succinctlabs/sp1

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,436 workflow run results
3,436 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Typo in 'successfully' corrected across all instances PR #923: Pull request #396 edited by mvid
March 16, 2024 18:02 15s
March 16, 2024 18:02 15s
chore: Typo in 'successfully' corrected across all instances PR #922: Pull request #396 opened by mvid
March 16, 2024 18:01 14s
March 16, 2024 18:01 14s
feat: verify constraints in DSL + basic verifier setup .github/workflows/book.yml #734: Pull request #395 synchronize by jtguibas
March 16, 2024 01:27 55s john/ir-3-15-213
john/ir-3-15-213
March 16, 2024 01:27 55s
feat: verify constraints in DSL + basic verifier setup Tests #1149: Pull request #395 synchronize by jtguibas
March 16, 2024 01:27 4m 10s john/ir-3-15-213
john/ir-3-15-213
March 16, 2024 01:27 4m 10s
feat: verify constraints in DSL + basic verifier setup .github/workflows/book.yml #733: Pull request #395 opened by jtguibas
March 16, 2024 01:21 45s john/ir-3-15-213
john/ir-3-15-213
March 16, 2024 01:21 45s
feat: verify constraints in DSL + basic verifier setup PR #921: Pull request #395 opened by jtguibas
March 16, 2024 01:21 16s
March 16, 2024 01:21 16s
feat: arithmetic bug fix and add compiler to ci (#394) .github/workflows/book.yml #732: Commit 644e182 pushed by tamirhemo
March 16, 2024 00:32 1m 10s main
main
March 16, 2024 00:32 1m 10s
feat: arithmetic bug fix and add compiler to ci (#394) Tests #1148: Commit 644e182 pushed by tamirhemo
March 16, 2024 00:32 5m 3s main
main
March 16, 2024 00:32 5m 3s
feat: arithmetic bug fix and add compiler to ci .github/workflows/book.yml #731: Pull request #394 opened by tamirhemo
March 16, 2024 00:28 49s tamir/fix-sym
tamir/fix-sym
March 16, 2024 00:28 49s
feat: arithmetic bug fix and add compiler to ci PR #920: Pull request #394 opened by tamirhemo
March 16, 2024 00:28 15s
March 16, 2024 00:28 15s
release release #68: Scheduled
March 16, 2024 00:15 2m 29s main
main
March 16, 2024 00:15 2m 29s
docker docker #18: Scheduled
March 16, 2024 00:13 3m 8s main
main
March 16, 2024 00:13 3m 8s
Evaluate Performance Evaluate Performance #24: Scheduled
March 16, 2024 00:06 1h 15m 58s main
main
March 16, 2024 00:06 1h 15m 58s
feat: num2bits support for recursive builder .github/workflows/book.yml #730: Pull request #393 synchronize by kevjue
March 15, 2024 23:37 45s kevjue/num2bits
kevjue/num2bits
March 15, 2024 23:37 45s
feat(precompile): add biguint arithmetic precompiles PR #919: Pull request #378 edited by 0xkanekiken
March 15, 2024 22:29 16s
March 15, 2024 22:29 16s
feat: num2bits support for recursive builder .github/workflows/book.yml #728: Pull request #393 opened by kevjue
March 15, 2024 22:07 54s kevjue/num2bits
kevjue/num2bits
March 15, 2024 22:07 54s
feat: num2bits support for recursive builder PR #918: Pull request #393 opened by kevjue
March 15, 2024 22:07 13s
March 15, 2024 22:07 13s
feat: array and symbolic evaluation (#390) .github/workflows/book.yml #727: Commit a16c0f9 pushed by jtguibas
March 15, 2024 21:07 1m 6s main
main
March 15, 2024 21:07 1m 6s
feat: array and symbolic evaluation (#390) Tests #1146: Commit a16c0f9 pushed by jtguibas
March 15, 2024 21:07 5m 36s main
main
March 15, 2024 21:07 5m 36s
feat: array and symbolic evaluation .github/workflows/book.yml #726: Pull request #390 synchronize by tamirhemo
March 15, 2024 21:02 42s tamir/array-2
tamir/array-2
March 15, 2024 21:02 42s
feat: array and symbolic evaluation Tests #1145: Pull request #390 synchronize by tamirhemo
March 15, 2024 21:02 4m 30s tamir/array-2
tamir/array-2
March 15, 2024 21:02 4m 30s
feat: array and symbolic evaluation Tests #1144: Pull request #390 synchronize by tamirhemo
March 15, 2024 20:55 5m 39s tamir/array-2
tamir/array-2
March 15, 2024 20:55 5m 39s
feat: array and symbolic evaluation .github/workflows/book.yml #725: Pull request #390 synchronize by tamirhemo
March 15, 2024 20:55 42s tamir/array-2
tamir/array-2
March 15, 2024 20:55 42s
feat: array and symbolic evaluation PR #917: Pull request #390 edited by tamirhemo
March 15, 2024 20:54 14s
March 15, 2024 20:54 14s
feat: array and symbolic evaluation .github/workflows/book.yml #724: Pull request #390 synchronize by tamirhemo
March 15, 2024 20:53 51s tamir/array-2
tamir/array-2
March 15, 2024 20:53 51s