Skip to content

Actions: Kernel-Science/physlibsearch

Actions

lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yaml
79 workflow runs
79 workflow runs

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
Merge pull request #32 from Kernel-Science/fix/ruff-format lint #79: Commit 49fe516 pushed by Gabrielebattimelli
8s main
main
8s
Format the JIXIA_PATH check to match ruff lint #78: Commit c5fba75 pushed by Gabrielebattimelli
8s fix/ruff-format
fix/ruff-format
8s
Merge pull request #31 from Kernel-Science/fix/jixia-path-optional lint #77: Commit 1b887cc pushed by Gabrielebattimelli
10s main
main
10s
Only require JIXIA_PATH for the subcommand that uses it lint #76: Commit ab0767a pushed by Gabrielebattimelli
11s fix/jixia-path-optional
fix/jixia-path-optional
11s
Allow forcing a run when only our indexing config changed lint #75: Commit 7b16578 pushed by Gabrielebattimelli
13s fix/quantuminfo-oleans
fix/quantuminfo-oleans
13s
Fix the two failures blocking PhyslibAlpha and QuantumInfo lint #74: Commit 76cffb3 pushed by Gabrielebattimelli
7s fix/quantuminfo-oleans
fix/quantuminfo-oleans
7s
Merge pull request #30 from Kernel-Science/fix/quantuminfo-oleans lint #73: Commit 434d6ba pushed by Gabrielebattimelli
9s main
main
9s
Merge pull request #29 from Kernel-Science/fix/force-reindex lint #72: Commit 79e516e pushed by Gabrielebattimelli
12s main
main
12s
Allow forcing a run when only our indexing config changed lint #71: Commit 7b16578 pushed by Gabrielebattimelli
12s fix/force-reindex
fix/force-reindex
12s
Merge pull request #28 from Kernel-Science/fix/index-all-namespaces lint #70: Commit db16111 pushed by Gabrielebattimelli
13s main
main
13s
Index PhyslibAlpha and QuantumInfo, not just Physlib lint #69: Commit cc07e75 pushed by Gabrielebattimelli
11s fix/index-all-namespaces
fix/index-all-namespaces
11s
Merge pull request #27 from Kernel-Science/fix/docstring-normalize lint #68: Commit f0cbc7c pushed by Gabrielebattimelli
12s main
main
12s
Normalize Lean 4.33 docstrings before pydantic validates them lint #67: Commit 0b50780 pushed by Gabrielebattimelli
14s fix/docstring-normalize
fix/docstring-normalize
14s
Merge pull request #26 from Kernel-Science/fix/jixia-4.33-docstring lint #66: Commit e1a0b08 pushed by Gabrielebattimelli
12s main
main
12s
Accept Lean 4.33's docstring shape, and catch shape changes early lint #65: Commit 0787448 pushed by Gabrielebattimelli
12s fix/jixia-4.33-docstring
fix/jixia-4.33-docstring
12s
Merge pull request #25 from Kernel-Science/fix/jixia-4.33 lint #64: Commit 914dbe1 pushed by Gabrielebattimelli
8s main
main
8s
Try every jixia patch instead of hardcoding one Lean release lint #63: Commit 268fcb0 pushed by Gabrielebattimelli
11s fix/jixia-4.33
fix/jixia-4.33
11s
Merge pull request #24 from Kernel-Science/fix/image-bloat lint #62: Commit 57e5963 pushed by Gabrielebattimelli
7s main
main
7s
Keep the Lean build trees out of the web image lint #61: Commit b92a5c1 pushed by Gabrielebattimelli
13s fix/image-bloat
fix/image-bloat
13s
Merge pull request #23 from Kernel-Science/fix/auto-rollback lint #60: Commit 3bbf3fc pushed by Gabrielebattimelli
10s main
main
10s
Roll back automatically when a deploy fails its health check lint #59: Commit 6954017 pushed by Gabrielebattimelli
11s fix/auto-rollback
fix/auto-rollback
11s
Merge pull request #22 from Kernel-Science/fix/lean-4.32-process lint #58: Commit 710fdb2 pushed by Gabrielebattimelli
7s main
main
7s
Extend the Lean 4.32 patch to Analyzer/Process.lean lint #57: Commit 9f4452a pushed by Gabrielebattimelli
10s fix/lean-4.32-process
fix/lean-4.32-process
10s
Merge pull request #21 from Kernel-Science/fix/lean-4.32-indexing lint #56: Commit cdc1239 pushed by Gabrielebattimelli
9s main
main
9s
Unblock indexing on Lean 4.32, fail loudly when it stalls lint #55: Commit 1737452 pushed by Gabrielebattimelli
9s fix/lean-4.32-indexing
fix/lean-4.32-indexing
9s