Skip to content

Actions: succinctlabs/op-succinct

Actions

PR Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr_lint.yml
457 workflow runs
457 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: WitnessGenExecutor PR Lint #32: Pull request #96 edited by ratankaliani
September 3, 2024 20:58 36s
September 3, 2024 20:58 36s
chore: remove cycle count md PR Lint #31: Pull request #100 opened by jtguibas
September 3, 2024 20:54 30s
September 3, 2024 20:54 30s
chore: remove random md files PR Lint #30: Pull request #99 opened by jtguibas
September 3, 2024 20:34 35s
September 3, 2024 20:34 35s
chore: consolidate env PR Lint #29: Pull request #98 opened by jtguibas
September 3, 2024 20:32 51s
September 3, 2024 20:32 51s
chore: cargo dependencies PR Lint #28: Pull request #97 opened by jtguibas
September 3, 2024 20:19 33s
September 3, 2024 20:19 33s
chore: WitnessGenExecutor PR Lint #27: Pull request #96 edited by ratankaliani
September 3, 2024 19:32 33s
September 3, 2024 19:32 33s
chore: WitnessGenExecutor PR Lint #26: Pull request #96 opened by ratankaliani
September 3, 2024 19:32 35s
September 3, 2024 19:32 35s
chore: add to root json PR Lint #25: Pull request #93 edited by puma314
September 3, 2024 06:46 30s
September 3, 2024 06:46 30s
chore: add to root json PR Lint #24: Pull request #93 opened by puma314
September 3, 2024 06:46 32s
September 3, 2024 06:46 32s
chore: cleanup programs PR Lint #23: Pull request #92 opened by jtguibas
September 3, 2024 00:07 27s
September 3, 2024 00:07 27s
fix: typos in readme PR Lint #22: Pull request #91 opened by jtguibas
September 2, 2024 23:55 1m 5s
September 2, 2024 23:55 1m 5s
docs: book tweaks PR Lint #21: Pull request #90 edited by ratankaliani
August 30, 2024 22:12 29s
August 30, 2024 22:12 29s
chore: create scripts folder PR Lint #20: Pull request #86 edited by ratankaliani
August 30, 2024 21:55 30s
August 30, 2024 21:55 30s
chore: create utils folder (#88) PR Lint #19: Commit b41180c pushed by ratankaliani
August 30, 2024 21:48 32s main
main
August 30, 2024 21:48 32s
chore: create utils folder PR Lint #18: Pull request #88 edited by ratankaliani
August 30, 2024 21:48 30s
August 30, 2024 21:48 30s
chore: move proposer (#87) PR Lint #17: Commit 62751dd pushed by ratankaliani
August 30, 2024 21:18 37s main
main
August 30, 2024 21:18 37s
chore: rename client programs (#85) PR Lint #16: Commit 5895a14 pushed by ratankaliani
August 30, 2024 20:57 28s main
main
August 30, 2024 20:57 28s
chore: rename client programs PR Lint #15: Pull request #85 edited by ratankaliani
August 30, 2024 20:56 32s
August 30, 2024 20:56 32s
fix: contract bindings (#89) PR Lint #14: Commit 2b5c98c pushed by ratankaliani
August 30, 2024 20:17 29s main
main
August 30, 2024 20:17 29s
docs: book tweaks PR Lint #13: Pull request #90 opened by jtguibas
August 30, 2024 19:55 1h 25m 40s
August 30, 2024 19:55 1h 25m 40s
fix: contract bindings PR Lint #12: Pull request #89 edited by ratankaliani
August 30, 2024 19:27 1h 52m 14s
August 30, 2024 19:27 1h 52m 14s
fix: contract bindings PR Lint #11: Pull request #89 edited by ratankaliani
August 30, 2024 19:23 1h 55m 4s
August 30, 2024 19:23 1h 55m 4s
fix: contract bindings PR Lint #10: Pull request #89 edited by ratankaliani
August 30, 2024 19:22 1h 54m 14s
August 30, 2024 19:22 1h 54m 14s
fix: contract bindings PR Lint #9: Pull request #89 opened by ratankaliani
August 30, 2024 19:22 1h 52m 54s
August 30, 2024 19:22 1h 52m 54s
chore: create utils folder PR Lint #8: Pull request #88 opened by jtguibas
August 30, 2024 18:37 21m 37s
August 30, 2024 18:37 21m 37s
ProTip! You can narrow down the results and go further in time using created:<2024-08-30 or the other filters available.