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 Event

Filter by Status

Filter by Branch

Filter by Actor

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