Skip to content

Actions: rasmus-kirk/halo-accumulation

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
79 workflow runs
79 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

added report back Lint #29: Pull request #1 synchronize by rasmus-kirk
December 29, 2024 00:40 3m 2s report
report
December 29, 2024 00:40 3m 2s
added report back Lint #28: Pull request #1 opened by rasmus-kirk
December 27, 2024 23:59 2m 56s report
report
December 27, 2024 23:59 2m 56s
removed report for hamid Lint #27: Commit 92edea3 pushed by rasmus-kirk
December 27, 2024 23:57 3m 9s main
main
December 27, 2024 23:57 3m 9s
Added some stuff Lint #26: Commit edae203 pushed by rasmus-kirk
December 27, 2024 23:56 3m 6s main
main
December 27, 2024 23:56 3m 6s
Did some more stuff Lint #25: Commit bc1e1ef pushed by rasmus-kirk
December 20, 2024 17:52 2m 53s main
main
December 20, 2024 17:52 2m 53s
Did some more stuff Lint #24: Commit c0e5818 pushed by rasmus-kirk
December 20, 2024 17:49 3m 5s main
main
December 20, 2024 17:49 3m 5s
Some stuff Lint #23: Commit 5bc68f1 pushed by rasmus-kirk
December 20, 2024 16:29 2m 59s main
main
December 20, 2024 16:29 2m 59s
Removed zk-parts and explained why Lint #22: Commit 1c8868a pushed by rasmus-kirk
December 19, 2024 17:47 3m 2s main
main
December 19, 2024 17:47 3m 2s
Added a bit about proofs of knowledge Lint #21: Commit 17ee6c1 pushed by rasmus-kirk
December 19, 2024 17:29 2m 56s main
main
December 19, 2024 17:29 2m 56s
Added some text Lint #20: Commit 21fcbf8 pushed by rasmus-kirk
December 19, 2024 16:37 2m 56s main
main
December 19, 2024 16:37 2m 56s
Small code cleanup in main Lint #19: Commit e0f577d pushed by rasmus-kirk
December 18, 2024 17:37 2m 58s main
main
December 18, 2024 17:37 2m 58s
Added more text to the textual part. Lint #18: Commit ca23fa2 pushed by rasmus-kirk
December 18, 2024 15:49 3m 0s main
main
December 18, 2024 15:49 3m 0s
Wrote some stuff on IVC Lint #17: Commit 259b39c pushed by rasmus-kirk
December 18, 2024 12:56 2m 53s main
main
December 18, 2024 12:56 2m 53s
Added line numbers to rust example Lint #16: Commit 730eda7 pushed by rasmus-kirk
December 17, 2024 14:24 3m 0s main
main
December 17, 2024 14:24 3m 0s
Added more text Lint #15: Commit c44a6db pushed by rasmus-kirk
December 17, 2024 14:23 2m 54s main
main
December 17, 2024 14:23 2m 54s
Updated tag timestamp Lint #14: Commit 7ccc146 pushed by rasmus-kirk
December 17, 2024 11:58 3m 0s main
main
December 17, 2024 11:58 3m 0s
"Finished" soundness Lint #13: Commit abd449e pushed by rasmus-kirk
December 17, 2024 10:52 3m 1s main
main
December 17, 2024 10:52 3m 1s
Removed pdfs and fixed up workflow, actually works now Lint #12: Commit 251185e pushed by rasmus-kirk
December 16, 2024 17:09 2m 58s main
main
December 16, 2024 17:09 2m 58s
try workflow Lint #11: Commit e13c243 pushed by rasmus-kirk
December 16, 2024 17:02 2m 55s main
main
December 16, 2024 17:02 2m 55s
Trying actions Lint #10: Commit 1c5d1a3 pushed by rasmus-kirk
December 16, 2024 16:59 3m 5s main
main
December 16, 2024 16:59 3m 5s
testing workflows Lint #9: Commit af93c0f pushed by rasmus-kirk
December 16, 2024 16:56 3m 6s main
main
December 16, 2024 16:56 3m 6s
change workflow Lint #8: Commit 9ada20f pushed by rasmus-kirk
December 16, 2024 16:49 1m 17s main
main
December 16, 2024 16:49 1m 17s
name change Lint #7: Commit 0df3edc pushed by rasmus-kirk
December 16, 2024 16:41 1m 18s main
main
December 16, 2024 16:41 1m 18s
name change Lint #6: Commit 957acb2 pushed by rasmus-kirk
December 16, 2024 16:34 1m 18s main
main
December 16, 2024 16:34 1m 18s
name change Lint #5: Commit 3ba1827 pushed by rasmus-kirk
December 16, 2024 16:32 1m 23s main
main
December 16, 2024 16:32 1m 23s