Skip to content

Actions: rasmus-kirk/halo-accumulation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Added more text Build PDF #14: Commit c44a6db pushed by rasmus-kirk
December 17, 2024 14:23 2m 23s main
main
December 17, 2024 14:23 2m 23s
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
Updated tag timestamp Build PDF #13: Commit 7ccc146 pushed by rasmus-kirk
December 17, 2024 11:58 2m 30s main
main
December 17, 2024 11:58 2m 30s
"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
"Finished" soundness Build PDF #12: Commit abd449e pushed by rasmus-kirk
December 17, 2024 10:52 2m 38s main
main
December 17, 2024 10:52 2m 38s
Removed pdfs and fixed up workflow, actually works now Build PDF #11: Commit 251185e pushed by rasmus-kirk
December 16, 2024 17:09 2m 30s main
main
December 16, 2024 17:09 2m 30s
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 Build PDF #10: Commit e13c243 pushed by rasmus-kirk
December 16, 2024 17:02 2m 31s main
main
December 16, 2024 17:02 2m 31s
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 Build PDF #9: Commit 1c5d1a3 pushed by rasmus-kirk
December 16, 2024 16:59 2m 20s main
main
December 16, 2024 16:59 2m 20s
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 Build PDF #8: Commit af93c0f pushed by rasmus-kirk
December 16, 2024 16:56 2m 24s main
main
December 16, 2024 16:56 2m 24s
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
change workflow Build PDF #7: Commit 9ada20f pushed by rasmus-kirk
December 16, 2024 16:49 2m 47s main
main
December 16, 2024 16:49 2m 47s
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 Build PDF #6: Commit 0df3edc pushed by rasmus-kirk
December 16, 2024 16:41 2m 28s main
main
December 16, 2024 16:41 2m 28s
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 Build PDF #5: Commit 957acb2 pushed by rasmus-kirk
December 16, 2024 16:34 2m 26s main
main
December 16, 2024 16:34 2m 26s
name change Build PDF #4: Commit 3ba1827 pushed by rasmus-kirk
December 16, 2024 16:32 23s main
main
December 16, 2024 16:32 23s
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
small change to workflow Build PDF #3: Commit d0df407 pushed by rasmus-kirk
December 16, 2024 16:28 2m 25s main
main
December 16, 2024 16:28 2m 25s
small change to workflow Lint #4: Commit d0df407 pushed by rasmus-kirk
December 16, 2024 16:28 1m 18s main
main
December 16, 2024 16:28 1m 18s