Skip to content

Actions: succinctlabs/sp1

Actions

Main

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
481 workflow runs
481 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

dev2main Main #129: Pull request #843 synchronize by mattstam
May 31, 2024 20:54 14m 30s dev
dev
May 31, 2024 20:54 14m 30s
chore: program doc and remove unnecessary clones Main #125: Pull request #857 opened by tamirhemo
May 31, 2024 14:59 12m 14s tamir/program-doc
tamir/program-doc
May 31, 2024 14:59 12m 14s
dev2main Main #120: Pull request #843 synchronize by ratankaliani
May 31, 2024 06:53 11m 50s dev
dev
May 31, 2024 06:53 11m 50s
dev2main Main #119: Pull request #843 synchronize by tamirhemo
May 31, 2024 06:02 12m 23s dev
dev
May 31, 2024 06:02 12m 23s
doc: recursive program docs Main #118: Pull request #855 opened by tamirhemo
May 31, 2024 05:17 44s tamir/program-doc
tamir/program-doc
May 31, 2024 05:17 44s
dev2main Main #117: Pull request #843 synchronize by ctian1
May 31, 2024 04:40 14m 8s dev
dev
May 31, 2024 04:40 14m 8s
feat: generic const expr Main #116: Pull request #854 opened by ratankaliani
May 31, 2024 03:15 14m 45s chris/fix-const-generic-expr
chris/fix-const-generic-expr
May 31, 2024 03:15 14m 45s
dev2main Main #115: Pull request #843 synchronize by ctian1
May 31, 2024 03:02 14m 20s dev
dev
May 31, 2024 03:02 14m 20s
dev2main Main #114: Pull request #843 synchronize by ratankaliani
May 31, 2024 01:36 14m 5s dev
dev
May 31, 2024 01:36 14m 5s
dev2main Main #113: Pull request #843 synchronize by ratankaliani
May 31, 2024 00:48 14m 10s dev
dev
May 31, 2024 00:48 14m 10s
feat: feature flag alloy_sol_types Main #112: Pull request #850 opened by ratankaliani
May 31, 2024 00:07 11m 3s ratan/feature-flag-alloy
ratan/feature-flag-alloy
May 31, 2024 00:07 11m 3s
dev2main Main #111: Pull request #843 synchronize by mattstam
May 30, 2024 23:46 13m 47s dev
dev
May 30, 2024 23:46 13m 47s
fix: remove unused aggregation programs Main #110: Pull request #849 opened by ratankaliani
May 30, 2024 22:29 3m 27s ratan/nuke-aggregation-programs
ratan/nuke-aggregation-programs
May 30, 2024 22:29 3m 27s
refactor: generic_const_expr in core Main #109: Pull request #848 opened by ratankaliani
May 30, 2024 22:27 1m 23s ratan/refactor-generic-const-bound
ratan/refactor-generic-const-bound
May 30, 2024 22:27 1m 23s
dev2main Main #108: Pull request #843 synchronize by ctian1
May 30, 2024 20:51 14m 50s dev
dev
May 30, 2024 20:51 14m 50s
dev2main Main #107: Pull request #843 synchronize by mattstam
May 30, 2024 20:38 12m 40s dev
dev
May 30, 2024 20:38 12m 40s
dev2main Main #106: Pull request #843 synchronize by ratankaliani
May 30, 2024 20:33 5m 23s dev
dev
May 30, 2024 20:33 5m 23s
dev2main Main #105: Pull request #843 synchronize by ratankaliani
May 30, 2024 20:01 14m 42s dev
dev
May 30, 2024 20:01 14m 42s
dev2main Main #104: Pull request #843 synchronize by ratankaliani
May 30, 2024 19:24 15m 11s dev
dev
May 30, 2024 19:24 15m 11s
dev2main Main #103: Pull request #843 opened by ratankaliani
May 30, 2024 18:52 14m 47s dev
dev
May 30, 2024 18:52 14m 47s
refactor: ProverClient::remote -> ProverClient::network Main #102: Pull request #840 synchronize by ratankaliani
May 30, 2024 18:26 15m 14s ratan/remote-to-network
ratan/remote-to-network
May 30, 2024 18:26 15m 14s
fix: gnark-ffi linking on mac Main #101: Pull request #842 opened by ctian1
May 30, 2024 18:20 14m 59s chris/fix-gnark-mac
chris/fix-gnark-mac
May 30, 2024 18:20 14m 59s
refactor: ProverClient::remote -> ProverClient::network Main #100: Pull request #840 synchronize by ratankaliani
May 30, 2024 18:05 15m 15s ratan/remote-to-network
ratan/remote-to-network
May 30, 2024 18:05 15m 15s
refactor: ProverClient::remote -> ProverClient::network Main #99: Pull request #840 opened by ratankaliani
May 30, 2024 18:03 2m 5s ratan/remote-to-network
ratan/remote-to-network
May 30, 2024 18:03 2m 5s
feat: runtime instruction/syscall report Main #98: Pull request #839 opened by tqn
May 30, 2024 18:00 14m 48s tqn:tqn/runtime-report
tqn:tqn/runtime-report
May 30, 2024 18:00 14m 48s
ProTip! You can narrow down the results and go further in time using created:<2024-05-30 or the other filters available.