Skip to content

Actions: varosi/Bitmap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge feature/optimize_perf: verified fast deflate/encode CI #17: Commit 986782b pushed by varosi
1m 47s main
main
1m 47s
Update README wording CI #16: Commit c855616 pushed by varosi
3m 18s main
main
3m 18s
Fix PNG decode and update tests CI #15: Commit 963da08 pushed by varosi
6m 53s main
main
6m 53s
Update README.md with exact lemmas. CI #14: Commit b1fea41 pushed by varosi
1m 38s main
main
1m 38s
Update README.md CI #13: Commit 9cf72c7 pushed by varosi
2m 0s main
main
2m 0s
Merge feature/RGBA: RGBA support and PNG improvements CI #12: Commit 1ca510d pushed by varosi
1m 48s main
main
1m 48s
Remove bitmap exe and fix range lemma CI #11: Commit 61355ff pushed by varosi
4m 26s main
main
4m 26s
Pin Lean 4.27 toolchain and mathlib CI #10: Commit 65ad8f9 pushed by varosi
2m 51s main
main
2m 51s
Merge branch 'feature/png_proof' CI #9: Commit f4647bf pushed by varosi
1m 28s main
main
1m 28s
Code simplification CI #8: Commit 6c184a3 pushed by varosi
1m 30s main
main
1m 30s
optimize encodeBitmap buffer writes CI #7: Commit 1ea173e pushed by varosi
51s main
main
51s
optimize decodeBitmap buffer writes CI #6: Commit 47da464 pushed by varosi
46s main
main
46s
adjust perf test sizes CI #5: Commit 85c7343 pushed by varosi
59s main
main
59s
move lemmas into Lemmas.lean CI #4: Commit 389ab0f pushed by varosi
38s main
main
38s
add bytearray set/get lemmas CI #3: Commit 5535ad7 pushed by varosi
36s main
main
36s
Store bitmap pixels as ByteArray CI #2: Commit f2959b0 pushed by varosi
40s main
main
40s
Add CI workflow CI #1: Commit 2ca6664 pushed by varosi
3m 17s main
main
3m 17s