Skip to content

Actions: thomasmarsh/pb

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
336 workflow runs
336 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: ruff check --fix CI #338: Commit d4e5664 pushed by thomasmarsh
6m 4s main
main
6m 4s
Merge pull request #9 from jimmykirk/ci-fix-cabal-setup CI #337: Commit cb36cfb pushed by thomasmarsh
4m 44s main
main
4m 44s
Merge pull request #10 from jimmykirk/diagram-layout-central CI #336: Commit d88b9bb pushed by thomasmarsh
31s main
main
31s
refactor(diagrams): apply the large-graph layout policy at the render point CI #335: Pull request #10 opened by jimmykirk
24s jimmykirk:diagram-layout-central
jimmykirk:diagram-layout-central
24s
ci: stop requesting the runner's preinstalled cabal CI #334: Pull request #9 opened by jimmykirk
6m 24s jimmykirk:ci-fix-cabal-setup
jimmykirk:ci-fix-cabal-setup
6m 24s
fix(explain): emit real EReturn leaf for non-loop valueless return (P… CI #333: Commit 2165544 pushed by thomasmarsh
25s main
main
25s
Merge pull request #2 from jimmykirk/diagram-large-graph-layout CI #332: Commit 6a64431 pushed by thomasmarsh
24s main
main
24s
Merge pull request #8 from jimmykirk/diagram-focus-search CI #331: Commit 141dd06 pushed by thomasmarsh
28s main
main
28s
feat(ui): focus search that dims everything outside a match's neighbourhood CI #330: Pull request #8 opened by jimmykirk
22s jimmykirk:diagram-focus-search
jimmykirk:diagram-focus-search
22s
Merge pull request #7 from jimmykirk/fix-coslice-output-sensitive CI #329: Commit 4133e80 pushed by thomasmarsh
21s main
main
21s
perf(schema): choose coslice witnesses during traversal, and stop early CI #328: Pull request #7 opened by jimmykirk
31s jimmykirk:fix-coslice-output-sensitive
jimmykirk:fix-coslice-output-sensitive
31s
Merge pull request #5 from jimmykirk/fix-coslice-crossproduct CI #327: Commit 6d5ad97 pushed by thomasmarsh
35s main
main
35s
fix(schema): emit one coslice witness per ordinal instead of a cross product CI #326: Pull request #5 opened by jimmykirk
32s jimmykirk:fix-coslice-crossproduct
jimmykirk:fix-coslice-crossproduct
32s
Merge pull request #1 from jimmykirk/diagram-zoom CI #325: Commit f183b3b pushed by thomasmarsh
20m 52s main
main
20m 52s
feat(ui): widen wire EffectTag from 4 to 7 tags (Plan 226 Layer 2) CI #322: Commit 302eafc pushed by thomasmarsh
10m 28s main
main
10m 28s
feat(analysis): add corpus-wide capability catalog API + UI (Plan 225… CI #321: Commit 24084e7 pushed by thomasmarsh
9m 52s main
main
9m 52s
feat(ui): wire Explain pseudocode fetch plumbing (Plan 222 Phase 3) CI #320: Commit 3b3b67b pushed by thomasmarsh
12m 1s main
main
12m 1s
feat(compiler): implement PB.Explain.Simplify + fix RegionId collisio… CI #319: Commit c8ba4b7 pushed by thomasmarsh
9m 58s main
main
9m 58s
refactor(compiler): thread a real Ident through TypeResolve's obj param CI #318: Commit 86b0ea0 pushed by thomasmarsh
8m 5s main
main
8m 5s
fix(ui): route buildProcTooltip's fallback through the shared QuickIn… CI #317: Commit 50ae141 pushed by thomasmarsh
7m 32s main
main
7m 32s
feat(plsql-coverage): add ampersand var refs and .. support CI #316: Commit 8ac02fc pushed by thomasmarsh
8m 38s main
main
8m 38s
feat(plsql-coverage): add quoted string to DEFINE CI #315: Commit ac48e80 pushed by thomasmarsh
7m 22s main
main
7m 22s
feat(plsql-coverage): add DEFINE schema CI #314: Commit 284fbc8 pushed by thomasmarsh
9m 7s main
main
9m 7s
feat(plsql-coverage): add COLLECTION to regular_id CI #313: Commit 07435ff pushed by thomasmarsh
8m 29s main
main
8m 29s
feat(plsql-coverage): custom aggregate function fix CI #312: Commit d935ace pushed by thomasmarsh
7m 17s main
main
7m 17s