Skip to content

Actions: QAtlasHub/ExperimentalAPI.jl

Actions

Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
FormatCheck.yml
31 workflow runs
31 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: @entered — ask which marked definitions one call went through Format Check #31: Pull request #24 opened by sotashimozono
1m 22s feat/entered-macro
feat/entered-macro
1m 22s
fix: reach_script read a binding younger than the frame reading it Format Check #30: Pull request #22 synchronize by sotashimozono
1m 9s fix/reach-script-world-age
fix/reach-script-world-age
1m 9s
fix: paths and time are two unwinders on one stack, and cannot both run Format Check #29: Pull request #23 opened by sotashimozono
1m 24s fix/paths-and-timing-cannot-both-run
fix/paths-and-timing-cannot-both-run
1m 24s
fix: reach_script read a binding younger than the frame reading it Format Check #28: Pull request #22 synchronize by sotashimozono
1m 25s fix/reach-script-world-age
fix/reach-script-world-age
1m 25s
fix: reach_script read a binding younger than the frame reading it Format Check #27: Pull request #22 opened by sotashimozono
1m 10s fix/reach-script-world-age
fix/reach-script-world-age
1m 10s
docs: placeholder URLs that cannot resolve, instead of ones that 404 Format Check #26: Pull request #21 opened by sotashimozono
1m 21s docs/placeholder-urls-that-cannot-resolve
docs/placeholder-urls-that-cannot-resolve
1m 21s
fix: the documentation's examples run, and two bugs they exposed Format Check #25: Pull request #14 synchronize by sotashimozono
1m 26s docs/the-front-page-example-runs
docs/the-front-page-example-runs
1m 26s
test: three claims that were pinned by their shape and not by their answer Format Check #24: Pull request #15 opened by sotashimozono
1m 6s test/close-the-three-shape-only-claims
test/close-the-three-shape-only-claims
1m 6s
fix: the documentation's examples run, and two bugs they exposed Format Check #23: Pull request #14 opened by sotashimozono
1m 26s docs/the-front-page-example-runs
docs/the-front-page-example-runs
1m 26s
feat: implement the case matrix — records, reachability, methods, and the mark's exit Format Check #22: Pull request #13 synchronize by sotashimozono
1m 14s feat/complete-the-mechanism
feat/complete-the-mechanism
1m 14s
feat: implement the case matrix — records, reachability, methods, and the mark's exit Format Check #21: Pull request #13 synchronize by sotashimozono
1m 9s feat/complete-the-mechanism
feat/complete-the-mechanism
1m 9s
feat: implement the case matrix — records, reachability, methods, and the mark's exit Format Check #20: Pull request #13 synchronize by sotashimozono
1m 21s feat/complete-the-mechanism
feat/complete-the-mechanism
1m 21s
feat: implement the case matrix — records, reachability, methods, and the mark's exit Format Check #19: Pull request #13 opened by sotashimozono
1m 24s feat/complete-the-mechanism
feat/complete-the-mechanism
1m 24s
ci: gate on one aggregate context instead of four matrix legs Format Check #18: Pull request #12 opened by sotashimozono
1m 24s ci/aggregate-gate
ci/aggregate-gate
1m 24s
docs: trim the README, disclose the LLM assistance, fix the canonical URL Format Check #17: Pull request #11 opened by sotashimozono
1m 23s docs/trim-and-disclose
docs/trim-and-disclose
1m 23s
fix: a mark is not a substitute for a docstring, and the docs examples now run Format Check #16: Pull request #10 opened by sotashimozono
1m 38s fix/docstring-is-not-optional
fix/docstring-is-not-optional
1m 38s
feat: report which experimental definitions a run entered Format Check #15: Pull request #9 synchronize by sotashimozono
1m 59s feat/observe-what-a-run-entered
feat/observe-what-a-run-entered
1m 59s
feat: report which experimental definitions a run entered Format Check #14: Pull request #9 opened by sotashimozono
1m 20s feat/observe-what-a-run-entered
feat/observe-what-a-run-entered
1m 20s
chore: roll the version back to 0.1.0 for the first release Format Check #13: Pull request #8 opened by sotashimozono
1m 20s chore/version-0.1.0
chore/version-0.1.0
1m 20s
test: the case matrix, written before the implementation Format Check #12: Pull request #7 synchronize by sotashimozono
1m 16s spec/case-matrix
spec/case-matrix
1m 16s
test: the case matrix, written before the implementation Format Check #11: Pull request #7 synchronize by sotashimozono
1m 27s spec/case-matrix
spec/case-matrix
1m 27s
test: the case matrix, written before the implementation Format Check #10: Pull request #7 synchronize by sotashimozono
1m 21s spec/case-matrix
spec/case-matrix
1m 21s
test: the case matrix, written before the implementation Format Check #9: Pull request #7 synchronize by sotashimozono
1m 24s spec/case-matrix
spec/case-matrix
1m 24s
test: the case matrix, written before the implementation Format Check #8: Pull request #7 synchronize by sotashimozono
1m 26s spec/case-matrix
spec/case-matrix
1m 26s
test: the case matrix, written before the implementation Format Check #7: Pull request #7 synchronize by sotashimozono
1m 22s spec/case-matrix
spec/case-matrix
1m 22s