Skip to content

Actions: microsoft/derivre

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

enable json_quote on and/not nodes (I was initially too cautious) Rust #25: Commit 8a7e722 pushed by mmoskal
December 13, 2024 11:20 39s main
main
December 13, 2024 11:20 39s
re-define Prefixes() to always include ε Rust #24: Commit 6010025 pushed by mmoskal
December 12, 2024 13:55 41s main
main
December 12, 2024 13:55 41s
simplify Rust #23: Commit e03c91e pushed by mmoskal
December 11, 2024 11:11 32s main
main
December 11, 2024 11:11 32s
fix unicode escape for \u007f (lowercase f); add comments and test Rust #22: Commit 6062cef pushed by mmoskal
December 11, 2024 11:09 28s main
main
December 11, 2024 11:09 28s
add has_simply_forced_bytes() method to ExprSet for prefix matching Rust #21: Commit 02caedc pushed by mmoskal
December 3, 2024 23:16 28s main
main
December 3, 2024 23:16 28s
fancier debug output for regexes Rust #20: Commit 4748aad pushed by mmoskal
December 3, 2024 23:00 31s main
main
December 3, 2024 23:00 31s
fix flags on Prefixes() node Rust #19: Commit 02ee497 pushed by mmoskal
October 4, 2024 17:16 41s main
main
October 4, 2024 17:16 41s
speed up unicode char range handling Rust #18: Commit 424ec3b pushed by mmoskal
September 9, 2024 16:27 32s main
main
September 9, 2024 16:27 32s
fix json quote of single bytes Rust #17: Commit 69ae787 pushed by mmoskal
September 9, 2024 14:59 42s main
main
September 9, 2024 14:59 42s
add prefixes() ast node Rust #16: Commit 30bf07f pushed by mmoskal
September 4, 2024 16:01 31s main
main
September 4, 2024 16:01 31s
rename is_relevant to is_non_empty and fix bug Rust #15: Commit 677799c pushed by mmoskal
September 4, 2024 02:04 27s main
main
September 4, 2024 02:04 27s
enable compression back Rust #14: Commit 9bf0f48 pushed by mmoskal
September 3, 2024 21:06 28s main
main
September 3, 2024 21:06 28s
add comments Rust #13: Commit 189d14e pushed by mmoskal
August 21, 2024 10:08 30s main
main
August 21, 2024 10:08 30s
cost always 64 bit; fuel limit on relevance Rust #12: Commit 709392b pushed by mmoskal
August 21, 2024 09:40 33s main
main
August 21, 2024 09:40 33s
clean up containment apis Rust #11: Commit 158f0b5 pushed by mmoskal
August 18, 2024 23:30 30s main
main
August 18, 2024 23:30 30s
add marker bit in StateID Rust #10: Commit 401b25f pushed by mmoskal
August 17, 2024 17:26 26s main
main
August 17, 2024 17:26 26s
deal with outside quotes Rust #9: Commit ad36369 pushed by mmoskal
August 13, 2024 21:41 37s main
main
August 13, 2024 21:41 37s
perf optimization Rust #8: Commit fb0ba7b pushed by mmoskal
July 28, 2024 19:19 33s main
main
July 28, 2024 19:19 33s
clean up template info from SUPPORT.md Rust #7: Commit 2f57d63 pushed by mmoskal
July 25, 2024 23:40 53s main
main
July 25, 2024 23:40 53s
cost accounting Rust #6: Commit e83d8fb pushed by mmoskal
July 18, 2024 17:22 26s main
main
July 18, 2024 17:22 26s
minor optimization Rust #5: Commit b1dfc3b pushed by mmoskal
July 17, 2024 17:08 36s main
main
July 17, 2024 17:08 36s
start on relevance (emtiness) checks Rust #4: Commit b0b9630 pushed by mmoskal
July 17, 2024 17:00 30s main
main
July 17, 2024 17:00 30s
no CodeQL for rust Rust #3: Commit 8cb3b0b pushed by mmoskal
July 5, 2024 23:56 28s main
main
July 5, 2024 23:56 28s
Create codeql.yml Rust #2: Commit 1d70298 pushed by mmoskal
July 5, 2024 23:53 39s main
main
July 5, 2024 23:53 39s
Create rust.yml Rust #1: Commit d12ef7f pushed by mmoskal
July 5, 2024 23:52 29s main
main
July 5, 2024 23:52 29s