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
maps(s444): nav-maps refresh cf62b415 → 108ca89be (#1141-#1179) CI #2651: Pull request #1181 synchronize by bryanmaclee
In progress maps/s444-refresh
maps/s444-refresh
In progress
maps(s444): nav-maps refresh cf62b415 → 108ca89be (#1141-#1179) CI #2650: Pull request #1181 opened by bryanmaclee
6m 2s maps/s444-refresh
maps/s444-refresh
6m 2s
fix(examples): example 23 works end-to-end — login creates a real ses… CI #2649: Commit 4953ff1 pushed by bryanmaclee
6m 3s main
main
6m 3s
docs(readme): one language README, two registers — every main-body block a CI-gated compiling file; one labelled 'where the language is going' section (S441 ruling, S443) CI #2648: Pull request #1176 synchronize by bryanmaclee
5m 59s worktree-agent-a8fca83a59f6533ba
worktree-agent-a8fca83a59f6533ba
5m 59s
fix(examples): example 23 works end-to-end — real session at login, driver BOL/POD assignment check, seeded database; generate-auth template authenticates (S443) CI #2647: Pull request #1180 opened by bryanmaclee
6m 0s fix/s443-example-23
fix/s443-example-23
6m 0s
chore(state): scheduled @generated regen CI #2646: Pull request #1179 opened by bryanmaclee
5m 58s maps/regen-36696609720
maps/regen-36696609720
5m 58s
cloud-maps cloud-maps #81: Scheduled
1m 43s main
main
1m 43s
wrap(s442): bootstrap typer + §66.19 programs landed; three rulings (tape grants, dpa-058, dpa-045 axiom) CI #2645: Pull request #1178 opened by bryanmaclee
6m 19s wrap/s442
wrap/s442
6m 19s
spec(s442): §4.18 — dpa-045 ruled: two text-mode productions, closed exit set, cooked, no display-text escapes, whitespace kept CI #2644: Pull request #1170 synchronize by bryanmaclee
5m 6s s442-dpa045-spec
s442-dpa045-spec
5m 6s
fix(security): two top-level <program>s in one file are E-PROGRAM-002… CI #2643: Commit 20ed50a pushed by bryanmaclee
5m 50s main
main
5m 50s
fix(security): two top-level <program>s in one file are E-PROGRAM-002 (S443 ruling) CI #2642: Pull request #1177 opened by bryanmaclee
5m 57s fix/s443-e-program-002-same-file
fix/s443-e-program-002-same-file
5m 57s
spec(s442): §4.18 — dpa-045 ruled: two text-mode productions, closed exit set, cooked, no display-text escapes, whitespace kept CI #2641: Pull request #1170 synchronize by bryanmaclee
6m 12s s442-dpa045-spec
s442-dpa045-spec
6m 12s
fix(security): <page auth="required"> gates its page; nested <program… CI #2640: Commit b3419e6 pushed by bryanmaclee
6m 1s main
main
6m 1s
spec(s442): §4.18 — dpa-045 ruled: two text-mode productions, closed exit set, cooked, no display-text escapes, whitespace kept CI #2639: Pull request #1170 synchronize by bryanmaclee
5m 57s s442-dpa045-spec
s442-dpa045-spec
5m 57s
fix(security): <page auth="required"> gates its page; nested <program auth=> is E-PROGRAM-NESTED-AUTH; member pages inherit the application's gate (S443) CI #2638: Pull request #1173 synchronize by bryanmaclee
6m 2s worktree-agent-aeea2fc505bd3a76c
worktree-agent-aeea2fc505bd3a76c
6m 2s
ledger(s443): post-merge review markers (S441 record corrected) + §S443 gap filings CI #2637: Pull request #1175 synchronize by bryanmaclee
6m 14s ledger/s443
ledger/s443
6m 14s
fix(security): <page auth="required"> gates its page; nested <program auth=> is E-PROGRAM-NESTED-AUTH; member pages inherit the application's gate (S443) CI #2636: Pull request #1173 synchronize by bryanmaclee
6m 22s worktree-agent-aeea2fc505bd3a76c
worktree-agent-aeea2fc505bd3a76c
6m 22s
spec(s442): §4.18 — dpa-045 ruled: two text-mode productions, closed exit set, cooked, no display-text escapes, whitespace kept CI #2635: Pull request #1170 synchronize by bryanmaclee
6m 15s s442-dpa045-spec
s442-dpa045-spec
6m 15s
spec(s442): §4.18 — dpa-045 ruled: two text-mode productions, closed exit set, cooked, no display-text escapes, whitespace kept CI #2634: Pull request #1170 synchronize by bryanmaclee
4s s442-dpa045-spec
s442-dpa045-spec
4s
feat(bootstrap): full type checks at arguments and returns; optional … CI #2633: Commit 891b644 pushed by bryanmaclee
6m 5s main
main
6m 5s
ledger(s443): post-merge review markers (S441 record corrected) + §S443 gap filings CI #2632: Pull request #1175 synchronize by bryanmaclee
2m 50s ledger/s443
ledger/s443
2m 50s
fix(security): <page auth="required"> gates its page; nested <program auth=> is E-PROGRAM-NESTED-AUTH; member pages inherit the application's gate (S443) CI #2631: Pull request #1173 synchronize by bryanmaclee
2m 54s worktree-agent-aeea2fc505bd3a76c
worktree-agent-aeea2fc505bd3a76c
2m 54s
feat(bootstrap): full type checks at arguments and returns; optional sequences; not into non-optional targets (S442) CI #2630: Pull request #1167 synchronize by bryanmaclee
6m 2s feat/s442-typer-r7
feat/s442-typer-r7
6m 2s
fix(bootstrap): O19 residue — an own type without an initializer plus… CI #2629: Commit cb86130 pushed by bryanmaclee
6m 2s main
main
6m 2s
docs(readme): one language README, two registers — every main-body block a CI-gated compiling file; one labelled 'where the language is going' section (S441 ruling, S443) CI #2628: Pull request #1176 synchronize by bryanmaclee
5m 20s worktree-agent-a8fca83a59f6533ba
worktree-agent-a8fca83a59f6533ba
5m 20s