Skip to content

Actions: nac7/provensql

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
39 workflow runs
39 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
Mark Paper 2 header as Preprint CI #38: Commit fe9b9f7 pushed by nac7
20s master
master
20s
Proof-read pass on Paper 2 prose CI #37: Commit f91cabd pushed by nac7
21s master
master
21s
Ignore all generated paper HTML (build_paper.py output) CI #36: Commit 8c5d505 pushed by nac7
18s master
master
18s
Verify and finalize Paper 2 references CI #35: Commit f07471e pushed by nac7
26s master
master
26s
Add Paper 2 draft: precision- and error-aware SQL equivalence CI #34: Commit bd4bb9e pushed by nac7
19s master
master
19s
I0 pilot: automatic ingestion of Calcite simplification pairs CI #33: Commit 32bd89d pushed by nac7
28s master
master
28s
Scope automatic optimizer rule-base ingestion (headline experiment plan) CI #32: Commit 27e3df0 pushed by nac7
19s master
master
19s
M3 headline audit: run FP/error engines over real optimizer rules CI #31: Commit 16c23e5 pushed by nac7
20s master
master
20s
M3: audit common rewrite rules for FP- and error-unsoundness CI #30: Commit eefb772 pushed by nac7
20s master
master
20s
M2: value/NULL/ERROR lattice for error-semantics equivalence CI #29: Commit 6b2fb4a pushed by nac7
18s master
master
18s
M1: precision-aware equivalence prototype (float divergence detection) CI #28: Commit 419237a pushed by nac7
17s master
master
17s
Add CI adoption path (Action + pre-commit) and precision-research scope CI #27: Commit c3f9914 pushed by nac7
1m 38s master
master
1m 38s
Correct paper motivating examples; add runnable demo showcase CI #26: Commit 0ecfa29 pushed by nac7
1m 45s master
master
1m 45s
Add reserved preprint DOI to paper header and README citation CI #25: Commit ed587f1 pushed by nac7
1m 34s master
master
1m 34s
Add ORCID to citation metadata CI #24: Commit 35f6027 pushed by nac7
1m 32s master
master
1m 32s
Add ORCID to paper byline CI #23: Commit 9586289 pushed by nac7
1m 36s master
master
1m 36s
Remove draft/venue notes from paper; final preprint header CI #22: Commit 1cbed26 pushed by nac7
1m 36s master
master
1m 36s
Embed DejaVu fonts in paper PDF so real glyphs render CI #21: Commit 50f0c36 pushed by nac7
1m 42s master
master
1m 42s
Add Zenodo DOI badge and citation CI #20: Commit 6c7bd74 pushed by nac7
1m 32s master
master
1m 32s
Release 0.1.1: refresh PyPI description, correct stale eval numbers CI #19: Commit f3a908f pushed by nac7
1m 16s master
master
1m 16s
Add CITATION.cff and .zenodo.json for citable software DOI CI #18: Commit e50eb08 pushed by nac7
1m 32s master
master
1m 32s
Add author byline to paper draft CI #17: Commit 5a4a1a0 pushed by nac7
1m 32s master
master
1m 32s
Fill verified author lists and venues for all references CI #16: Commit 80489f4 pushed by nac7
1m 37s master
master
1m 37s
Add reproducible paper build script (markdown -> PDF/HTML) CI #15: Commit 630ff55 pushed by nac7
1m 39s master
master
1m 39s
Reposition paper for the 2024 frontier (QED, VeriEQL) and LLM-safety … CI #14: Commit 560a77d pushed by nac7
1m 39s master
master
1m 39s