Skip to content

Actions: philzook58/knuckledragger

Actions

Publish Python 🐍 distribution 📦 to PyPI and TestPyPI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
publish.yml
71 workflow runs
71 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

kleene, vprove, abs_sum, more ir Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #46: Commit fdce496 pushed by philzook58
10s main
main
10s
start contracts Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #45: Commit 9613842 pushed by philzook58
12s main
main
12s
lark cache is fishy Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #44: Commit 5e11508 pushed by philzook58
13s main
main
13s
ruff check Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #43: Commit b02aeb2 pushed by philzook58
10s main
main
10s
software foundations examples Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #42: Commit 65bf8c3 pushed by philzook58
13s main
main
13s
iff Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #41: Commit 9c1ff0c pushed by philzook58
10s main
main
10s
string and character literals. bug in sequence literals Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #40: Commit 273e74e pushed by philzook58
10s main
main
10s
vi for vampire Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #39: Commit 349c7c5 pushed by philzook58
9s main
main
9s
moved property, install vampire in CI to avoid output in doctest. add… Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #38: Commit 7712a02 pushed by philzook58
9s main
main
9s
added docstrings to modules. Moved poprerties. Removed old property p… Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #37: Commit 2e345ef pushed by philzook58
11s main
main
11s
added ldefine. unary operator into microlean Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #36: Commit 1e77ded pushed by philzook58
10s main
main
10s
added cvc5 binary in ci Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #35: Commit 409ec68 pushed by philzook58
13s main
main
13s
cvc5, vampire install ignore Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #34: Commit 5ae4cad pushed by philzook58
8s main
main
8s
tptp parsers Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #33: Commit 37b5616 pushed by philzook58
12s main
main
12s
more timing info, type checking improvements Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #32: Commit c4b146d pushed by philzook58
15s main
main
15s
sympy wired into tactics Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #31: Commit 53c6d8a pushed by philzook58
12s main
main
12s
vampire and cvc5 tactic Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #30: Commit cebddb8 pushed by philzook58
13s main
main
13s
made name overlap more strict. maybe this makes external solvers easier? Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #29: Commit 57d6aad pushed by philzook58
18s main
main
18s
generic tuple Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #28: Commit 06b2d1d pushed by philzook58
10s main
main
10s
block ir, cache lark, made tests a little faster. rset Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #27: Commit 56ed515 pushed by philzook58
14s main
main
14s
better errors. lim theorems Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #26: Commit e061702 pushed by philzook58
15s main
main
15s
lim algebra theorems Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #25: Commit cf8f7ee pushed by philzook58
9s main
main
9s
better error messages, sequence maximum Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #24: Commit 6d5a220 pushed by philzook58
9s main
main
9s
better error messages, sequence maximum Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #23: Commit 391c2fd pushed by philzook58
13s main
main
13s
obtain and sepeicliaze can now take fomrula and produce better error … Publish Python 🐍 distribution 📦 to PyPI and TestPyPI #22: Commit f74eeb0 pushed by philzook58
9s main
main
9s