Skip to content

Actions: philzook58/knuckledragger

Actions

Python package

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
python-package.yml
308 workflow runs
308 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

revert all-extras is not a thing Python package #318: Commit 046e2cb pushed by philzook58
6m 26s main
main
6m 26s
revert all-extras is not a thing Python package #317: Commit 2ecd423 pushed by philzook58
3m 19s main
main
3m 19s
remove vampire doctest Python package #316: Commit 685d299 pushed by philzook58
6m 38s main
main
6m 38s
chmod on vamprie binary Python package #315: Commit 4f8dffa pushed by philzook58
6m 22s main
main
6m 22s
vampire download on solver construction Python package #314: Commit 9cd271e pushed by philzook58
6m 55s main
main
6m 55s
eunify and putting more in prelude Python package #313: Commit 113e298 pushed by philzook58
7m 30s main
main
7m 30s
more micro lean operators Python package #312: Commit 1914963 pushed by philzook58
6m 55s main
main
6m 55s
attempt at making C layer library using cff Python package #311: Commit b3f3bb1 pushed by philzook58
7m 44s main
main
7m 44s
put int induction into kd.notation Python package #310: Commit 25ed197 pushed by philzook58
9m 13s main
main
9m 13s
uv lock Python package #309: Commit 77087e3 pushed by philzook58
7m 47s main
main
7m 47s
added microlean parser Python package #308: Commit 884a9ad pushed by philzook58
3m 41s main
main
3m 41s
link to zf blog post Python package #299: Commit e79d310 pushed by philzook58
8m 42s main
main
8m 42s
GenericDispatch and filter example Python package #298: Commit cc3c6c0 pushed by philzook58
9m 1s main
main
9m 1s
change rewrite to rw Python package #297: Commit c409e88 pushed by philzook58
8m 41s main
main
8m 41s
quotients Python package #296: Commit 349ef26 pushed by philzook58
6m 51s main
main
6m 51s
enable write tracking in pcode Python package #295: Commit 57c2895 pushed by philzook58
7m 21s main
main
7m 21s
more overloading on arrays. If then else. A bit of cerce Python package #294: Commit fa50b83 pushed by philzook58
8m 58s main
main
8m 58s
pointwise equality, overloading, Const now takes possible Set, ForAll… Python package #293: Commit 77e1f75 pushed by philzook58
8m 19s main
main
8m 19s
moved rename vars back to kernel. rw_trig and horn_trig. seq combinat… Python package #292: Commit 1473f17 pushed by philzook58
7m 4s main
main
7m 4s
Rewrap ProofState errors with informative goal state context Python package #278: Pull request #6 synchronize by Copilot AI
6m 3s copilot/rewrap-informative-errors
copilot/rewrap-informative-errors
6m 3s
Rewrap ProofState errors with informative goal state context Python package #277: Pull request #6 synchronize by Copilot AI
8m 58s copilot/rewrap-informative-errors
copilot/rewrap-informative-errors
8m 58s
Rewrap ProofState errors with informative goal state context Python package #274: Pull request #6 opened by Copilot AI
8m 55s copilot/rewrap-informative-errors
copilot/rewrap-informative-errors
8m 55s
Merge pull request #4 from philzook58/claude0 Python package #273: Commit 9bbb498 pushed by philzook58
6m 29s main
main
6m 29s
Attempts at using claude code Python package #272: Pull request #4 synchronize by philzook58
8m 16s claude0
claude0
8m 16s
Attempts at using claude code Python package #271: Pull request #4 opened by philzook58
7m 6s claude0
claude0
7m 6s