Skip to content

Actions: succinctlabs/sp1

Actions

PR Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump sysinfo for fix PR Lint #2235: Pull request #1823 edited by emostov
November 26, 2024 21:58 57s
November 26, 2024 21:58 57s
chore: bump sysinfo for fix PR Lint #2234: Pull request #1823 opened by emostov
November 26, 2024 21:40 2m 51s
November 26, 2024 21:40 2m 51s
fix: Add missing boolean constraints for is_real flag PR Lint #2233: Pull request #1822 opened by Nashtare
November 26, 2024 17:59 1m 0s
November 26, 2024 17:59 1m 0s
fix: preprocessed trace bug PR Lint #2232: Pull request #1821 edited by ctian1
November 26, 2024 05:05 3m 22s
November 26, 2024 05:05 3m 22s
fix: preprocessed trace bug PR Lint #2231: Pull request #1821 opened by ctian1
November 26, 2024 05:04 3m 59s
November 26, 2024 05:04 3m 59s
fix: non absolute build paths are relative to the build manifest PR Lint #2230: Pull request #1819 opened by nhtyy
November 25, 2024 21:51 2m 48s
November 25, 2024 21:51 2m 48s
chore: all feats, no feats, default feats top level workspace checks PR Lint #2229: Pull request #1818 opened by nhtyy
November 25, 2024 18:01 47s
November 25, 2024 18:01 47s
chore: tracing everywhere PR Lint #2228: Pull request #1817 opened by nhtyy
November 25, 2024 17:11 5m 27s
November 25, 2024 17:11 5m 27s
fix: missing feat flags PR Lint #2227: Pull request #1816 opened by nhtyy
November 24, 2024 19:57 3m 1s
November 24, 2024 19:57 3m 1s
Fix typos in documentation and code comments PR Lint #2226: Pull request #1815 opened by Dimitrolito
November 23, 2024 17:26 1m 31s
November 23, 2024 17:26 1m 31s
feat: deploy book dev & main on push or merge PR Lint #2225: Pull request #1814 opened by nhtyy
November 23, 2024 01:36 9m 43s
November 23, 2024 01:36 9m 43s
chore(core): ALU tables verifies pc control flow PR Lint #2224: Pull request #1808 edited by kevjue
November 22, 2024 22:36 1m 3s
November 22, 2024 22:36 1m 3s
perf(core): Memory specific opcode table PR Lint #2223: Pull request #1813 opened by kevjue
November 22, 2024 21:05 2m 26s
November 22, 2024 21:05 2m 26s
chore(core): ALU tables verifies pc control flow PR Lint #2222: Pull request #1808 edited by kevjue
November 22, 2024 20:01 41s
November 22, 2024 20:01 41s
chore(core): ALU tables verifies pc control flow PR Lint #2221: Pull request #1808 edited by kevjue
November 22, 2024 19:57 1m 33s
November 22, 2024 19:57 1m 33s
chore(core): ALU tables verifies pc control flow PR Lint #2220: Pull request #1808 edited by kevjue
November 22, 2024 19:57 1m 41s
November 22, 2024 19:57 1m 41s
Add Error Handling and Input Validation to Cryptographic Operations and Tests PR Lint #2219: Pull request #1812 opened by Dimitrolito
November 22, 2024 17:49 9m 25s
November 22, 2024 17:49 9m 25s
Chore: Executor checks for precompile invariant violations PR Lint #2218: Pull request #1811 edited by nhtyy
November 21, 2024 20:34 1m 32s
November 21, 2024 20:34 1m 32s
Chore: Executor checks for precompile invariant violations PR Lint #2217: Pull request #1811 edited by nhtyy
November 21, 2024 20:34 52s
November 21, 2024 20:34 52s
Chore: Executor checks for precompile invariant violations PR Lint #2216: Pull request #1811 opened by nhtyy
November 21, 2024 20:26 53s
November 21, 2024 20:26 53s
Suggestion: Update README.md: Improving understanding PR Lint #2215: Pull request #1809 opened by EmpieichO
November 21, 2024 11:28 58s
November 21, 2024 11:28 58s
chore(core): ALU tables verifies pc control flow PR Lint #2214: Pull request #1808 edited by kevjue
November 21, 2024 02:47 1m 42s
November 21, 2024 02:47 1m 42s
chore(core): ALU tables verifies pc control flow PR Lint #2213: Pull request #1808 opened by kevjue
November 21, 2024 02:47 50s
November 21, 2024 02:47 50s
chore: rv32im deviations PR Lint #2212: Pull request #1807 opened by jtguibas
November 21, 2024 00:45 57s
November 21, 2024 00:45 57s
perf: Strip the RISC-V ELF binary PR Lint #2211: Pull request #1806 edited by imikushin
November 21, 2024 00:43 49s
November 21, 2024 00:43 49s