Skip to content

Actions: project-minigraf/minigraf

Actions

Code Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
628 workflow runs
628 workflow runs

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
Merge pull request #21 from adityamukho/alert-autofix-72 Code Coverage #103: Commit 7dff236 pushed by adityamukho
4m 33s main
main
4m 33s
Potential fix for code scanning alert no. 72: Cleartext logging of sensitive information Code Coverage #102: Pull request #21 opened by adityamukho
3m 53s alert-autofix-72
alert-autofix-72
3m 53s
fix(matcher): use is_ok_and instead of map_or(false, …) — clippy lint Code Coverage #101: Commit e712716 pushed by adityamukho
3m 47s main
main
3m 47s
docs(demo): update demo_commands.txt footer to reflect v0.10.0 state Code Coverage #100: Commit 937e232 pushed by adityamukho
3m 32s main
main
3m 32s
fix(repl): suppress prompts and banner when stdin is not a TTY Code Coverage #99: Commit b029cb0 pushed by adityamukho
3m 47s main
main
3m 47s
chore: add pre-push hook to .githooks; document setup step Code Coverage #98: Commit e82f6df pushed by adityamukho
4m 11s main
main
4m 11s
fix(executor): remove unused Fact import in test Code Coverage #97: Commit e420c2f pushed by adityamukho
3m 51s main
main
3m 51s
style: apply rustfmt to negation benchmark closures Code Coverage #96: Commit 95237cd pushed by adityamukho
3m 57s main
main
3m 57s
docs: assign phases to all deferred/unphased items Code Coverage #95: Commit d0719f9 pushed by adityamukho
3m 50s main
main
3m 50s
fix(tests): remove {:?}/{msg} format args from parser test assert mes… Code Coverage #94: Commit 7e9ffc0 pushed by adityamukho
3m 49s main
main
3m 49s
bench(negation): add not/not-join/selectivity/rule-body benchmarks Code Coverage #93: Commit 3b5b645 pushed by adityamukho
3m 39s main
main
3m 39s
docs: sync all docs for Phase 7.1 completion (not / not-join) Code Coverage #92: Commit d7fc02f pushed by adityamukho
3m 41s main
main
3m 41s
Added plan and spec files for Phase 7.1b Code Coverage #91: Commit 6a6ad3a pushed by adityamukho
3m 29s main
main
3m 29s
Merge pull request #20 from adityamukho/phase/7.1b-not-join Code Coverage #90: Commit 164a347 pushed by adityamukho
3m 49s main
main
3m 49s
feat(phase-7.1b): not-join (existential negation) Code Coverage #89: Pull request #20 synchronize by adityamukho
3m 41s phase/7.1b-not-join
phase/7.1b-not-join
3m 41s
feat(phase-7.1b): not-join (existential negation) Code Coverage #88: Pull request #20 synchronize by adityamukho
3m 41s phase/7.1b-not-join
phase/7.1b-not-join
3m 41s
feat(phase-7.1b): not-join (existential negation) Code Coverage #87: Pull request #20 synchronize by adityamukho
3m 49s phase/7.1b-not-join
phase/7.1b-not-join
3m 49s
feat(phase-7.1b): not-join (existential negation) Code Coverage #86: Pull request #20 opened by adityamukho
3m 42s phase/7.1b-not-join
phase/7.1b-not-join
3m 42s
Added plan file for Phase 7.1a Code Coverage #85: Commit b071386 pushed by adityamukho
3m 34s main
main
3m 34s
style: apply rustfmt to Phase 7.1a and binary-size files Code Coverage #84: Commit 70533a7 pushed by adityamukho
3m 45s main
main
3m 45s
feat(phase-7.1a): stratified negation (not / not-join) Code Coverage #83: Commit ec040ed pushed by adityamukho
3m 46s main
main
3m 46s
feat(phase-7.1a): stratified negation (not / not-join) Code Coverage #82: Pull request #19 synchronize by adityamukho
3m 32s feature/phase-7-1a-stratified-negation
feature/phase-7-1a-stratified-negation
3m 32s
perf(binary): reduce release binary from 1036 KiB to 693 KiB Code Coverage #81: Commit 981d868 pushed by adityamukho
3m 39s main
main
3m 39s
feat(phase-7.1a): stratified negation (not / not-join) Code Coverage #80: Pull request #19 opened by adityamukho
3m 36s feature/phase-7-1a-stratified-negation
feature/phase-7-1a-stratified-negation
3m 36s
docs(philosophy): update Evolution Strategy through Phase 9 Code Coverage #79: Commit 78d9fbf pushed by adityamukho
3m 41s main
main
3m 41s
ProTip! You can narrow down the results and go further in time using created:<2026-03-23 or the other filters available.