Skip to content

Actions: varosi/Bitmap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
191 workflow runs
191 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Prove palette fixture decode semantics CI #191: Commit d33fc5d pushed by varosi
20s feature/pal
feature/pal
20s
Prove palette expansion color-type rejection CI #190: Commit 0e4102e pushed by varosi
19s feature/pal
feature/pal
19s
Add mode-generic indexed palette round-trip theorem CI #189: Commit 70adc81 pushed by varosi
15s feature/pal
feature/pal
15s
Support Lean 4.30 and 4.31 builds CI #188: Commit 58478d1 pushed by varosi
16s feature/pal
feature/pal
16s
Prove packed indexed palette API examples CI #187: Commit 488b12c pushed by varosi
1m 45s feature/pal
feature/pal
1m 45s
Prove indexed palette packed row depths CI #186: Commit a28b5da pushed by varosi
2m 16s feature/pal
feature/pal
2m 16s
Prove parsed indexed dynamic decode CI #185: Commit 0d87aa5 pushed by varosi
24m 48s feature/pal
feature/pal
24m 48s
Prove indexed palette row sizes CI #184: Commit ae89354 pushed by varosi
24m 41s feature/pal
feature/pal
24m 41s
Expand palette PNG fixture coverage CI #183: Commit 7d953b8 pushed by varosi
26m 58s feature/pal
feature/pal
26m 58s
Cache Lake project builds by source hash CI #182: Commit 1fe8deb pushed by varosi
26m 43s main
main
26m 43s
Avoid caching elan in CI CI #181: Commit be8ed75 pushed by varosi
26m 48s main
main
26m 48s
Support Lean 4.30 and 4.31 builds CI #180: Commit 22655d9 pushed by varosi
26m 36s main
main
26m 36s
Merge feature/lz77encoding into main: greedy LZ77 encoder CI #179: Commit 1c91086 pushed by varosi
2m 15s main
main
2m 15s
Route dynamic zlib proof through LZ77 CI #178: Commit d6fece3 pushed by varosi
2m 12s feature/lz77encoding
feature/lz77encoding
2m 12s
Prove dynamic LZ77 loop decoding CI #177: Commit 307a7ab pushed by varosi
2m 20s feature/lz77encoding
feature/lz77encoding
2m 20s
Decode generated dynamic LZ77 payload suffix CI #176: Commit 71a8de4 pushed by varosi
2m 11s feature/lz77encoding
feature/lz77encoding
2m 11s
Add dynamic LZ77 payload decode trace CI #175: Commit 2d702ac pushed by varosi
2m 17s feature/lz77encoding
feature/lz77encoding
2m 17s
Add dynamic LZ77 match transition proof CI #174: Commit 0e96e0b pushed by varosi
2m 23s feature/lz77encoding
feature/lz77encoding
2m 23s
Add dynamic LZ77 match replay helpers CI #173: Commit 3c9b3e0 pushed by varosi
2m 8s feature/lz77encoding
feature/lz77encoding
2m 8s
Specialize dynamic LZ77 payload proof to public tokens CI #172: Commit 57a380a pushed by varosi
2m 13s feature/lz77encoding
feature/lz77encoding
2m 13s
Add dynamic LZ77 payload proof scaffold CI #171: Commit e6cbcf2 pushed by varosi
2m 15s feature/lz77encoding
feature/lz77encoding
2m 15s
Add fixed LZ77 match trace step CI #170: Commit a0cd18f pushed by varosi
2m 4s feature/lz77encoding
feature/lz77encoding
2m 4s
Add fixed LZ77 trace step wrappers CI #169: Commit 4631a5f pushed by varosi
2m 22s feature/lz77encoding
feature/lz77encoding
2m 22s
Expose public fixed LZ77 bitstream lemmas CI #168: Commit 8e60ea9 pushed by varosi
2m 15s feature/lz77encoding
feature/lz77encoding
2m 15s
Prove fixed LZ77 token writer lemmas CI #167: Commit dd1efe0 pushed by varosi
2m 18s feature/lz77encoding
feature/lz77encoding
2m 18s