Skip to content

Actions: bryanmaclee/scrml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
review(S395): record the last three markers — the floor's own structural recursion, closed CI #1956: Pull request #827 opened by bryanmaclee
3m 38s review/s395-floor
review/s395-floor
3m 38s
maps(S395): the mapper's final pass — four premises corrected, one of them mine CI #1955: Pull request #826 opened by bryanmaclee
3m 57s maps/s395-final
maps/s395-final
3m 57s
maps(S395): the wrap-6c tail — the mapper was still writing when the wrap committed CI #1954: Pull request #825 opened by bryanmaclee
2m 53s maps/s395-tail
maps/s395-tail
2m 53s
wrap(s395): five rulings, four arcs, and nine instruments that read green while wrong CI #1953: Pull request #824 opened by bryanmaclee
3m 35s wrap/s395
wrap/s395
3m 35s
fix(§52.13): scrml dev served a protected document unauthenticated … CI #1952: Commit 2d8dd8c pushed by bryanmaclee
3m 28s main
main
3m 28s
cloud-maps cloud-maps #54: Scheduled
42s main
main
42s
fix(§52.13): scrml dev served a protected document unauthenticated at / — one gated path now, not two CI #1951: Pull request #823 opened by bryanmaclee
3m 20s fix/s395-dev-root-auth-land
fix/s395-dev-root-auth-land
3m 20s
continuity(S395): the ~ ruling banked — limb (c) queued where the probe can see it, and the enforcement that should have caught the contradiction CI #1950: Pull request #820 synchronize by bryanmaclee
3m 22s continuity/s395-tilde-ruling
continuity/s395-tilde-ruling
3m 22s
continuity(S395): the ~ ruling banked — limb (c) queued where the probe can see it, and the enforcement that should have caught the contradiction CI #1949: Pull request #820 synchronize by bryanmaclee
3m 54s continuity/s395-tilde-ruling
continuity/s395-tilde-ruling
3m 54s
fix(conformance): 18 assertions read as coverage and checked nothing … CI #1948: Commit ae2741e pushed by bryanmaclee
3m 33s main
main
3m 33s
fix(conformance): 18 assertions read as coverage and checked nothing — the count branch short-circuited past text/attr/value CI #1947: Pull request #822 opened by bryanmaclee
2m 55s fix/s395-runanchored-land
fix/s395-runanchored-land
2m 55s
wrap(s396-peter): aM pin bumped to HEAD + a flogenceP dog-food E-ROUTE-004 untyped-param hole (filed, routed) CI #1946: Pull request #821 opened by pjoliver11
3m 54s wrap/s396-peter-continuity
wrap/s396-peter-continuity
3m 54s
continuity(S395): the ~ ruling banked — limb (c) queued where the probe can see it, and the enforcement that should have caught the contradiction CI #1944: Pull request #820 opened by bryanmaclee
3m 21s continuity/s395-tilde-ruling
continuity/s395-tilde-ruling
3m 21s
continuity(S395): the if-chain security gap resolved, three filings, and two instruments that failed their own tests CI #1943: Pull request #819 opened by bryanmaclee
3m 24s continuity/s395-if-chain-filings
continuity/s395-if-chain-filings
3m 24s
fix(§12.1): a branch-declared function is routed BEFORE it is collect… CI #1942: Commit c4c55c5 pushed by bryanmaclee
3m 54s main
main
3m 54s
fix(§12.1): a branch-declared function is routed BEFORE it is collected — closing the client half alone leaked a server fn body into client.js CI #1941: Pull request #818 opened by bryanmaclee
3m 30s fix/s395-if-chain-server-boundary-land
fix/s395-if-chain-server-boundary-land
3m 30s
maps(S395): wrap-6c refresh 2ec2ce3a → ad7b65dc — and three premises in my own brief were wrong CI #1940: Pull request #817 opened by bryanmaclee
4m 11s maps/s395-wrap-6c
maps/s395-wrap-6c
4m 11s
continuity(S395): the value-form arc filed, the review floor drained to zero, and a locus disjoint from its answer CI #1939: Pull request #816 opened by bryanmaclee
3m 29s continuity/s395-value-form
continuity/s395-value-form
3m 29s
fix(§17.6.2): the value-form sugar binds its result at a binding site… CI #1938: Commit 908a631 pushed by bryanmaclee
3m 40s main
main
3m 40s
fix(§17.6.2): the value-form sugar binds its result at a binding site — was always null CI #1937: Pull request #815 opened by bryanmaclee
3m 18s fix/s395-value-form-sugar-land
fix/s395-value-form-sugar-land
3m 18s
chore(maps): scheduled regen CI #1936: Pull request #814 opened by bryanmaclee
3m 12s maps/regen-33614345277
maps/regen-33614345277
3m 12s
cloud-maps cloud-maps #53: Scheduled
47s main
main
47s
wrap(s394-peter): aM pin de-risked to bump (dog-food; no compiler change) CI #1935: Pull request #813 opened by pjoliver11
2m 57s wrap/s394-peter-am-dogfood
wrap/s394-peter-am-dogfood
2m 57s
wrap(s393): verification kept changing the answer — four premises died on contact with execution, two of them mine CI #1934: Pull request #812 opened by bryanmaclee
2m 57s wrap/s393
wrap/s393
2m 57s
fix(if-chain): close the descent CLASS across ten walks — and back ou… CI #1933: Commit 0f398b9 pushed by bryanmaclee
3m 37s main
main
3m 37s