Skip to content

Actions: dokimasia/assert-spec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 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
chore: updated research documents on mutation testing CI #43: Commit 3d37741 pushed by stealth-rklopper
1m 52s main
main
1m 52s
feat: state got and reason in three records, and add files.write CI #42: Commit 9d98af5 pushed by stealth-rklopper
1m 15s main
main
1m 15s
fix(prop): reuse no rewound value, and refuse a sequence past the cap CI #41: Commit c6a414e pushed by stealth-rklopper
2m 3s main
main
2m 3s
feat!: name the history check in the terms of linearizability CI #40: Commit 348db46 pushed by stealth-rklopper
1m 58s main
main
1m 58s
docs(rfc): state the error assertions of Go's chain in RFC-0013 CI #39: Commit d5fd89a pushed by stealth-rklopper
2m 17s main
main
2m 17s
feat: define examples without an inverse, prop.examples and by-identity CI #38: Commit 248370d pushed by stealth-rklopper
1m 10s main
main
1m 10s
feat: define trees of files and the ten assertions that read them CI #37: Commit 4853f98 pushed by stealth-rklopper
1m 55s main
main
1m 55s
feat: detect Go's mutation build by DOKIMI_MUTATE_INSTRUMENTED CI #36: Commit e48551f pushed by stealth-rklopper
1m 22s main
main
1m 22s
feat!: define hermetic runs, mutation runs and records from rejects CI #35: Commit 8d18f24 pushed by stealth-rklopper
6m 56s main
main
6m 56s
feat: check no Go allocation ceiling in a mutation build CI #34: Commit 4a13fd4 pushed by stealth-rklopper
1m 43s main
main
1m 43s
feat!: define warmup, run-parallel, setup ceilings and divergence steps CI #33: Commit 6c74ad4 pushed by stealth-rklopper
1m 16s main
main
1m 16s
feat: define machines, the task scheduler and campaigns CI #32: Commit 0c3177d pushed by stealth-rklopper
1m 41s main
main
1m 41s
feat: define the history seams and the linearizability checker CI #31: Commit 2783089 pushed by stealth-rklopper
1m 7s main
main
1m 7s
feat!: pin how a map finds a NaN, a negative zero and a null key CI #30: Commit 6a3f5fa pushed by stealth-rklopper
56s main
main
56s
docs(rfc): state the history's encoding, failures and driver deadline CI #29: Commit 6cf4d3d pushed by stealth-rklopper
1m 0s main
main
1m 0s
feat: define a call record for every assertion call CI #28: Commit f04ee86 pushed by stealth-rklopper
48s main
main
48s
feat: define property forms and the shapes they generate from CI #27: Commit 850a25b pushed by stealth-rklopper
1m 2s main
main
1m 2s
docs(research): study mutation testing as a library from one build CI #26: Commit 98162f6 pushed by stealth-rklopper
47s main
main
47s
docs(rfc): propose TypeScript names that vitest's expect does not define CI #25: Commit 2d04169 pushed by stealth-rklopper
1m 0s main
main
1m 0s
feat: add cleanup and cancellation to the property case CI #24: Commit da841e0 pushed by stealth-rklopper
34s main
main
34s
feat: add delete-and-lower, a shrink pass for an index into earlier data CI #23: Commit 96e98b4 pushed by stealth-rklopper
35s main
main
35s
fix: refuse a pattern count with a leading zero CI #22: Commit 3d5ecd5 pushed by stealth-rklopper
33s main
main
33s
feat: add max-allocs, an allocation ceiling that a test checks CI #21: Commit 990a245 pushed by stealth-rklopper
28s main
main
28s
feat: name the chain that states several assertions about one value CI #20: Commit 24c43d9 pushed by stealth-rklopper
25s main
main
25s
fix: record that python supplies no allocation ceiling CI #19: Commit 94435cc pushed by stealth-rklopper
20s main
main
20s