Skip to content

Actions: gosuperscript/axiom

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
507 workflow runs
507 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 scoped bindings can narrow carrier inputs (#101) Tests #464: Commit b833ac4 pushed by robertvansteen
4m 44s 0.x
0.x
4m 44s
Prove scoped bindings can narrow carrier inputs Tests #463: Commit 4a2c3cc pushed by robertvansteen
4m 51s fix/scoped-list-input-contract
fix/scoped-list-input-contract
4m 51s
Admit scoped expression bindings per invocation (#100) Tests #462: Commit c26e4db pushed by robertvansteen
4m 32s 0.x
0.x
4m 32s
Keep collection element failures as binding faults Tests #461: Commit a6645c6 pushed by robertvansteen
4m 33s scoped-expression-item-admission
scoped-expression-item-admission
4m 33s
Preserve scoped reads and binding faults Tests #460: Commit dfa4fae pushed by robertvansteen
4m 54s scoped-expression-item-admission
scoped-expression-item-admission
4m 54s
Admit scoped expression bindings per invocation Tests #459: Commit 2490440 pushed by robertvansteen
4m 28s scoped-expression-item-admission
scoped-expression-item-admission
4m 28s
Add type patterns with union narrowing in match (#99) Tests #458: Commit 9008525 pushed by robertvansteen
4m 37s 0.x
0.x
4m 37s
Pin the judgments CI's mutation run found unheld Tests #457: Commit 9b07f72 pushed by robertvansteen
4m 29s type-patterns
type-patterns
4m 29s
Read every match judgment off the arm's one claim Tests #456: Commit ff81e43 pushed by robertvansteen
4m 39s type-patterns
type-patterns
4m 39s
Kill the escaped mutants around narrowing and literal patterns Tests #455: Commit bb6a243 pushed by robertvansteen
4m 33s type-patterns
type-patterns
4m 33s
Add type patterns with union narrowing in match Tests #454: Commit 31ee946 pushed by robertvansteen
3m 31s type-patterns
type-patterns
3m 31s
Preserve optional option presence Tests #453: Commit d14f127 pushed by robertvansteen
4m 49s agent/preserve-optional-option-presence
agent/preserve-optional-option-presence
4m 49s
Unify declarations and record property presence (#93) Tests #452: Commit 4d5938b pushed by robertvansteen
4m 13s v0.6.16
v0.6.16
4m 13s
Unify declarations and record property presence (#93) Tests #451: Commit 4d5938b pushed by robertvansteen
4m 26s 0.x
0.x
4m 26s
Strengthen structural reference regressions Tests #450: Commit 1df4665 pushed by robertvansteen
4m 37s demanded-inputs
demanded-inputs
4m 37s
Retain failed structural reference paths Tests #449: Commit ea573cd pushed by robertvansteen
4m 32s demanded-inputs
demanded-inputs
4m 32s
Integrate compiler references with scoped inputs Tests #448: Commit 2e32b4e pushed by robertvansteen
3m 43s demanded-inputs
demanded-inputs
3m 43s
Preserve unbound reference paths Tests #447: Commit 0c7bae4 pushed by robertvansteen
5m 3s demanded-inputs
demanded-inputs
5m 3s
Compile lexically scoped source bodies once (#95) Tests #446: Commit 92a845a pushed by robertvansteen
3m 44s v0.6.15
v0.6.15
3m 44s
Compile lexically scoped source bodies once (#95) Tests #445: Commit 92a845a pushed by robertvansteen
3m 56s 0.x
0.x
3m 56s
Address scoped expression review feedback Tests #444: Commit 7d54d02 pushed by robertvansteen
4m 1s STRAT-733-subprogram
STRAT-733-subprogram
4m 1s
Make scoped expressions lexical Tests #443: Commit 1467286 pushed by robertvansteen
3m 59s STRAT-733-subprogram
STRAT-733-subprogram
3m 59s
Read structure off the compiler's walk, not a reflective scan (#97) Tests #442: Commit 4833f25 pushed by robertvansteen
4m 4s 0.x
0.x
4m 4s
Kill the mutants coverage attribution hid from infection Tests #441: Commit 22fc2dc pushed by robertvansteen
3m 50s unboundsymbols
unboundsymbols
3m 50s
Preserve deprecated symbol source compatibility Tests #440: Commit 3e2c160 pushed by robertvansteen
5m 2s STRAT-733-symbol-compat-subprogram
STRAT-733-symbol-compat-subprogram
5m 2s