Skip to content

Actions: QAtlasHub/ExperimentalAPI.jl

Actions

Cleanup Preview

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CleanupPreview.yml
26 workflow runs
26 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
fix: a cap of one read "at most 1 marks" Cleanup Preview #26: Pull request #36 closed by sotashimozono
12s fix/the-cap-of-one-said-1-marks
fix/the-cap-of-one-said-1-marks
12s
docs: every block that shows output now produces it Cleanup Preview #25: Pull request #35 closed by sotashimozono
11s docs/every-shown-output-is-executed
docs/every-shown-output-is-executed
11s
style: comments carry the measurement, not the essay around it Cleanup Preview #24: Pull request #34 closed by sotashimozono
13s style/comments-carry-the-fact-not-the-essay
style/comments-carry-the-fact-not-the-essay
13s
fix: a docstring above a mark hid its coverage, and attribute failed inside somebody else's package Cleanup Preview #23: Pull request #33 closed by sotashimozono
9s fix/what-eleven-ways-of-using-it-found
fix/what-eleven-ways-of-using-it-found
9s
docs: a walkthrough that runs, and a front page whose output is not typed Cleanup Preview #22: Pull request #32 closed by sotashimozono
10s docs/the-walkthrough-runs-rather-than-being-typed
docs/the-walkthrough-runs-rather-than-being-typed
10s
perf: audit recomputed its sort key on every comparison, not once per method Cleanup Preview #21: Pull request #31 closed by sotashimozono
10s perf/audit-recomputed-its-sort-key-per-comparison
perf/audit-recomputed-its-sort-key-per-comparison
10s
fix: reach did not terminate on nightly, and depth alone was never going to bound it Cleanup Preview #20: Pull request #30 closed by sotashimozono
11s fix/reach-must-terminate
fix/reach-must-terminate
11s
fix: reach threw a MethodError on sum(f(x) for x in xs) instead of returning a verdict Cleanup Preview #19: Pull request #29 closed by sotashimozono
10s fix/reach-threw-instead-of-answering
fix/reach-threw-instead-of-answering
10s
fix: an @inline marked kernel registered a probe nothing could ever set Cleanup Preview #18: Pull request #28 closed by sotashimozono
13s fix/the-inline-probe-was-never-inserted
fix/the-inline-probe-was-never-inserted
13s
feat: declare the four young layers @experimental, and let @entered be told where to write Cleanup Preview #17: Pull request #27 closed by sotashimozono
12s feat/declare-the-young-layers
feat/declare-the-young-layers
12s
feat: the value comes back from record, and @entered says where it is not @time Cleanup Preview #16: Pull request #26 closed by sotashimozono
12s feat/entered-carries-the-value
feat/entered-carries-the-value
12s
fix: record lost a mark born during the block, and the backtrace of what threw Cleanup Preview #15: Pull request #25 closed by sotashimozono
11s fix/record-loses-newborn-probes-and-backtraces
fix/record-loses-newborn-probes-and-backtraces
11s
feat: @entered — ask which marked definitions one call went through Cleanup Preview #14: Pull request #24 closed by sotashimozono
12s feat/entered-macro
feat/entered-macro
12s
fix: reach_script read a binding younger than the frame reading it Cleanup Preview #13: Pull request #22 closed by sotashimozono
11s fix/reach-script-world-age
fix/reach-script-world-age
11s
fix: paths and time are two unwinders on one stack, and cannot both run Cleanup Preview #12: Pull request #23 closed by sotashimozono
10s fix/paths-and-timing-cannot-both-run
fix/paths-and-timing-cannot-both-run
10s
docs: placeholder URLs that cannot resolve, instead of ones that 404 Cleanup Preview #11: Pull request #21 closed by sotashimozono
44s docs/placeholder-urls-that-cannot-resolve
docs/placeholder-urls-that-cannot-resolve
44s
fix: the documentation's examples run, and two bugs they exposed Cleanup Preview #10: Pull request #14 closed by sotashimozono
11s docs/the-front-page-example-runs
docs/the-front-page-example-runs
11s
test: three claims that were pinned by their shape and not by their answer Cleanup Preview #9: Pull request #15 closed by sotashimozono
8s test/close-the-three-shape-only-claims
test/close-the-three-shape-only-claims
8s
feat: implement the case matrix — records, reachability, methods, and the mark's exit Cleanup Preview #8: Pull request #13 closed by sotashimozono
12s feat/complete-the-mechanism
feat/complete-the-mechanism
12s
ci: gate on one aggregate context instead of four matrix legs Cleanup Preview #7: Pull request #12 closed by sotashimozono
12s ci/aggregate-gate
ci/aggregate-gate
12s
docs: trim the README, disclose the LLM assistance, fix the canonical URL Cleanup Preview #6: Pull request #11 closed by sotashimozono
15s docs/trim-and-disclose
docs/trim-and-disclose
15s
fix: a mark is not a substitute for a docstring, and the docs examples now run Cleanup Preview #5: Pull request #10 closed by sotashimozono
13s fix/docstring-is-not-optional
fix/docstring-is-not-optional
13s
feat: report which experimental definitions a run entered Cleanup Preview #4: Pull request #9 closed by sotashimozono
15s feat/observe-what-a-run-entered
feat/observe-what-a-run-entered
15s
chore: roll the version back to 0.1.0 for the first release Cleanup Preview #3: Pull request #8 closed by sotashimozono
48s chore/version-0.1.0
chore/version-0.1.0
48s
test: the case matrix, written before the implementation Cleanup Preview #2: Pull request #7 closed by sotashimozono
12s spec/case-matrix
spec/case-matrix
12s