Skip to content

Actions: succinctlabs/sp1

Actions

PR Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr_lint.yml
2,442 workflow runs
2,442 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: reduce network prover PR Lint #17: Pull request #687 edited by ctian1
May 10, 2024 18:23 17s
May 10, 2024 18:23 17s
chore: disable nightly release PR Lint #16: Pull request #696 edited by jtguibas
May 10, 2024 07:54 15s
May 10, 2024 07:54 15s
chore: disable nightly release PR Lint #15: Pull request #696 edited by jtguibas
May 10, 2024 07:30 16s
May 10, 2024 07:30 16s
chore: disable nightly release PR Lint #14: Pull request #696 opened by jtguibas
May 10, 2024 07:30 15s
May 10, 2024 07:30 15s
feat: add cli to CI PR Lint #13: Pull request #695 opened by jtguibas
May 10, 2024 07:21 15s
May 10, 2024 07:21 15s
feat: add sp1-sdk tests with SP1_DEV=0 for release ci PR Lint #12: Pull request #694 opened by jtguibas
May 10, 2024 06:57 17s
May 10, 2024 06:57 17s
feat: update docs + add some tests around solidity contract export PR Lint #11: Pull request #693 opened by jtguibas
May 10, 2024 06:44 16s
May 10, 2024 06:44 16s
feat: enable merge groups for all prs PR Lint #10: Pull request #691 opened by jtguibas
May 10, 2024 06:13 15s
May 10, 2024 06:13 15s
ci: enable merge-groups for PRs into main PR Lint #9: Pull request #679 edited by jtguibas
May 10, 2024 06:10 15s
May 10, 2024 06:10 15s
feat: add dev to pr ci PR Lint #8: Pull request #690 opened by jtguibas
May 10, 2024 06:07 16s
May 10, 2024 06:07 16s
fix: multiply logged permutation column counts by extension field degree. PR Lint #7: Pull request #668 edited by jtguibas
May 10, 2024 06:03 16s
May 10, 2024 06:03 16s
ci: set up dependabot PR Lint #6: Pull request #678 edited by jtguibas
May 10, 2024 06:02 15s
May 10, 2024 06:02 15s
chore: fix compile bug in example PR Lint #5: Pull request #682 edited by jtguibas
May 10, 2024 05:59 15s
May 10, 2024 05:59 15s
chore: fix compile bug in example PR Lint #4: Pull request #682 edited by jtguibas
May 10, 2024 05:57 15s
May 10, 2024 05:57 15s
chore: update all dependencies PR Lint #3: Pull request #689 edited by jtguibas
May 10, 2024 05:56 16s
May 10, 2024 05:56 16s
chore: Update all dependencies PR Lint #2: Pull request #681 edited by jtguibas
May 10, 2024 05:55 15s
May 10, 2024 05:55 15s
feat: add dependabot PR Lint #1: Pull request #688 opened by jtguibas
May 10, 2024 05:47 15s
May 10, 2024 05:47 15s
ProTip! You can narrow down the results and go further in time using created:<2024-05-10 or the other filters available.