Skip to content

Actions: muk2/pgrsql

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
84 workflow runs
84 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
Add detailed usage docs for writing queries and exporting results CI #74: Pull request #65 opened by muk2
1m 57s feature/issue-58-usage-docs
feature/issue-58-usage-docs
1m 57s
Add direct pane navigation shortcuts and error copy support CI #73: Pull request #64 opened by muk2
1m 55s feature/issue-56-navigation-copy
feature/issue-56-navigation-copy
1m 55s
Fix UI layout: dynamic editor/results split and scrollable help CI #72: Pull request #63 opened by muk2
1m 57s feature/issue-61-dynamic-layout
feature/issue-61-dynamic-layout
1m 57s
Add client-side SQL syntax pre-validation before execution CI #71: Pull request #62 opened by muk2
2m 51s feature/issue-55-sql-prevalidation
feature/issue-55-sql-prevalidation
2m 51s
Polished v0.1.4 pgrsql Release #8: Commit 3744ef7 pushed by muk2
5m 19s v0.1.4
v0.1.4
5m 19s
Polished v0.1.4 pgrsql CI #70: Commit 3744ef7 pushed by muk2
3m 28s main
main
3m 28s
Merge pull request #53 from muk2/feature/issue-44-error-reporting CI #69: Commit 343f1cc pushed by muk2
1m 48s main
main
1m 48s
Add find and replace in SQL editor (#35) CI #68: Pull request #43 synchronize by muk2
2m 18s feature/issue-35-find-replace
feature/issue-35-find-replace
2m 18s
Add SQL query formatter/prettifier (Ctrl+Shift+F) CI #67: Pull request #41 synchronize by muk2
3m 38s feature/issue-33-sql-formatter
feature/issue-33-sql-formatter
3m 38s
Add optional Python bindings via PyO3 + maturin CI #66: Pull request #48 synchronize by muk2
2m 18s feature/issue-45-python-pyo3
feature/issue-45-python-pyo3
2m 18s
Add Lean 4 formal verification layer for query optimizer Lean Verification #2: Pull request #32 synchronize by muk2
24s feature/issue-27-lean-verification
feature/issue-27-lean-verification
24s
Add Lean 4 formal verification layer for query optimizer CI #65: Pull request #32 synchronize by muk2
2m 15s feature/issue-27-lean-verification
feature/issue-27-lean-verification
2m 15s
Refactor app.rs monolith into focused submodules CI #64: Pull request #54 synchronize by muk2
5m 25s feature/issue-39-refactor-app
feature/issue-39-refactor-app
5m 25s
Add structured SQL error reporting with rich context CI #63: Pull request #53 synchronize by muk2
7m 3s feature/issue-44-error-reporting
feature/issue-44-error-reporting
7m 3s
Add query execution statistics dashboard CI #62: Pull request #52 synchronize by muk2
7m 51s feature/issue-38-query-stats
feature/issue-38-query-stats
7m 51s
Add transaction management UI CI #61: Pull request #51 synchronize by muk2
8m 17s feature/issue-36-transaction-mgmt
feature/issue-36-transaction-mgmt
8m 17s
Add schema search and filter to sidebar CI #60: Pull request #50 synchronize by muk2
7m 19s feature/issue-37-schema-filter
feature/issue-37-schema-filter
7m 19s
Add optional Python bindings via PyO3 + maturin CI #59: Pull request #48 synchronize by muk2
7m 14s feature/issue-45-python-pyo3
feature/issue-45-python-pyo3
7m 14s
Add comprehensive benchmarking suite CI #58: Pull request #47 synchronize by muk2
7m 34s feature/issue-46-benchmarking
feature/issue-46-benchmarking
7m 34s
Refactor app.rs monolith into focused submodules CI #57: Pull request #54 opened by muk2
2m 46s feature/issue-39-refactor-app
feature/issue-39-refactor-app
2m 46s
Add structured SQL error reporting with rich context CI #56: Pull request #53 opened by muk2
1m 59s feature/issue-44-error-reporting
feature/issue-44-error-reporting
1m 59s
Add query execution statistics dashboard CI #55: Pull request #52 opened by muk2
1m 47s feature/issue-38-query-stats
feature/issue-38-query-stats
1m 47s
Add transaction management UI CI #54: Pull request #51 opened by muk2
2m 15s feature/issue-36-transaction-mgmt
feature/issue-36-transaction-mgmt
2m 15s
Add schema search and filter to sidebar CI #53: Pull request #50 opened by muk2
2m 59s feature/issue-37-schema-filter
feature/issue-37-schema-filter
2m 59s
Add query execution statistics dashboard CI #52: Pull request #49 opened by muk2
35s feature/issue-38-query-stats
feature/issue-38-query-stats
35s