Skip to content

Actions: empty-sekai/allium-deck

Actions

lint-commits

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
commitlint.yml
141 workflow runs
141 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
feat: support JP7 area items and world link rules lint-commits #142: Pull request #45 synchronize by nichinichisou0609
15s feat/jp7-rules
feat/jp7-rules
15s
feat: support JP7 area items and world link rules lint-commits #141: Pull request #45 opened by nichinichisou0609
16s feat/jp7-rules
feat/jp7-rules
16s
test(formal): add checked Lean core and pruning lemmas lint-commits #140: Pull request #44 synchronize by nichinichisou0609
17s formal/lean-core-20260929
formal/lean-core-20260929
17s
test(formal): add checked Lean core and pruning lemmas lint-commits #139: Pull request #44 synchronize by nichinichisou0609
14s formal/lean-core-20260929
formal/lean-core-20260929
14s
test(formal): add checked Lean core and pruning lemmas lint-commits #138: Pull request #44 opened by nichinichisou0609
16s formal/lean-core-20260929
formal/lean-core-20260929
16s
fix(search): close proof-audit counterexamples and certify pruning ar… lint-commits #137: Commit 5c6dff7 pushed by nichinichisou0609
18s main
main
18s
fix(search): close proof-audit counterexamples and certify pruning arithmetic lint-commits #136: Pull request #43 synchronize by nichinichisou0609
23s fix/proof-audit-20260926
fix/proof-audit-20260926
23s
fix(search): close proof-audit counterexamples and certify pruning arithmetic lint-commits #135: Pull request #43 synchronize by nichinichisou0609
12s fix/proof-audit-20260926
fix/proof-audit-20260926
12s
fix(search): close proof-audit counterexamples and certify pruning arithmetic lint-commits #134: Pull request #43 opened by nichinichisou0609
17s fix/proof-audit-20260926
fix/proof-audit-20260926
17s
perf(search): test the no-event dense tail before entering a node lint-commits #133: Commit 165ff63 pushed by nichinichisou0609
17s main
main
17s
perf(search): bound the chosen cards' skills by their composition at … lint-commits #132: Commit 3e7d6f8 pushed by nichinichisou0609
15s main
main
15s
perf(final-chapter): check card-level nodes with composition-aware sk… lint-commits #131: Commit 0f496f0 pushed by nichinichisou0609
14s main
main
14s
perf(final-chapter): jump over last groups whose weight fails the log… lint-commits #130: Commit b684f87 pushed by nichinichisou0609
17s main
main
17s
perf(final-chapter): read the objective relaxation without building s… lint-commits #129: Commit fb3204a pushed by nichinichisou0609
24s main
main
24s
perf(search): skip composition regimes that a log-linear bound rules out lint-commits #128: Commit 13f2841 pushed by nichinichisou0609
54s main
main
54s
perf(final-chapter): check complete decks with composition-aware skills lint-commits #127: Commit 3bc3e54 pushed by nichinichisou0609
16s main
main
16s
perf(search): skip event-scan tests that another test already covers lint-commits #126: Commit 329cc3b pushed by nichinichisou0609
18s main
main
18s
perf(final-chapter): skip an attribute in the last member slot once i… lint-commits #125: Commit df98905 pushed by nichinichisou0609
19s main
main
19s
perf(final-chapter): decide ceilings by the needed live score lint-commits #124: Commit 040b088 pushed by nichinichisou0609
17s main
main
17s
perf(bonus): bound the support refill by the selected cards lint-commits #123: Commit cb8bb7f pushed by nichinichisou0609
16s main
main
16s
perf(bonus): prove unreachable tiers exactly under a single support p… lint-commits #122: Commit 6339231 pushed by nichinichisou0609
20s main
main
20s
perf(bonus): narrow a diversity class's completions to the attributes… lint-commits #121: Commit f71b966 pushed by nichinichisou0609
15s main
main
15s
perf(bonus): search the regimes of every scope in one ceiling order lint-commits #120: Commit befc108 pushed by nichinichisou0609
16s main
main
16s
perf(search): bound complete decks with composition-aware skill ceilings lint-commits #119: Commit 5a57244 pushed by nichinichisou0609
14s main
main
14s
perf(bonus): key World Bloom tiers in exact support ticks lint-commits #118: Commit b9f9098 pushed by nichinichisou0609
21s main
main
21s