Skip to content

Actions: philzook58/knuckledragger

Actions

Python package

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

datatype lemmas, cleanup admitted real theorems, sympy take 2 Python package #129: Commit f4fe4b7 pushed by philzook58
January 27, 2025 20:30 5m 9s main
main
January 27, 2025 20:30 5m 9s
renamed Record Python package #128: Commit 928a080 pushed by philzook58
January 26, 2025 22:04 4m 27s main
main
January 26, 2025 22:04 4m 27s
moved inductive into kernel Python package #127: Commit 0c93ec8 pushed by philzook58
January 26, 2025 16:22 4m 50s main
main
January 26, 2025 16:22 4m 50s
cleanup. fixed failing test Python package #126: Commit 28cf767 pushed by philzook58
January 26, 2025 15:40 5m 32s main
main
January 26, 2025 15:40 5m 32s
some set helpers and temporal operators Python package #125: Commit 1cf7045 pushed by philzook58
January 26, 2025 03:04 4m 27s main
main
January 26, 2025 03:04 4m 27s
basic search functionality Python package #124: Commit 2bc5f1e pushed by philzook58
January 24, 2025 16:31 5m 28s main
main
January 24, 2025 16:31 5m 28s
fixed test Python package #123: Commit bab3137 pushed by philzook58
January 23, 2025 16:21 4m 14s main
main
January 23, 2025 16:21 4m 14s
knuckleclosure Python package #122: Commit 2bdd21a pushed by philzook58
January 23, 2025 15:27 4m 23s main
main
January 23, 2025 15:27 4m 23s
type checker Python package #121: Commit c0baae0 pushed by philzook58
January 23, 2025 14:35 5m 7s main
main
January 23, 2025 14:35 5m 7s
hypothesis and reflect modules Python package #120: Commit cd13eb0 pushed by philzook58
January 23, 2025 05:02 4m 32s main
main
January 23, 2025 05:02 4m 32s
tutorial Python package #119: Commit a26ef9e pushed by philzook58
January 22, 2025 14:41 4m 45s main
main
January 22, 2025 14:41 4m 45s
tutorial update Python package #118: Commit 7cb558b pushed by philzook58
January 22, 2025 14:38 4m 0s main
main
January 22, 2025 14:38 4m 0s
tutorial update Python package #117: Commit faddef7 pushed by philzook58
January 21, 2025 16:11 4m 6s main
main
January 21, 2025 16:11 4m 6s
tutorial update Python package #116: Commit 0a44dbd pushed by philzook58
January 21, 2025 16:10 4m 25s main
main
January 21, 2025 16:10 4m 25s
made prune test determinstic Python package #115: Commit 1d259b4 pushed by philzook58
January 20, 2025 21:58 4m 16s main
main
January 20, 2025 21:58 4m 16s
updated blog post Python package #114: Commit 2127ebe pushed by philzook58
January 20, 2025 20:27 3m 55s main
main
January 20, 2025 20:27 3m 55s
refactored utils into rewrite. Datatype construcion via keyword args Python package #113: Commit 0c05659 pushed by philzook58
January 20, 2025 17:21 4m 23s main
main
January 20, 2025 17:21 4m 23s
pattern matching syntax Python package #112: Commit 7e837a2 pushed by philzook58
January 19, 2025 20:45 4m 25s main
main
January 19, 2025 20:45 4m 25s
ruff fixes Python package #111: Commit 90634e1 pushed by philzook58
January 19, 2025 00:58 5m 39s main
main
January 19, 2025 00:58 5m 39s
refactor datatype Python package #110: Commit b0f2dd9 pushed by philzook58
January 18, 2025 22:13 4m 23s main
main
January 18, 2025 22:13 4m 23s
removed datatypes folder Python package #109: Commit fd43e9b pushed by philzook58
January 18, 2025 22:01 4m 18s main
main
January 18, 2025 22:01 4m 18s
moved logo. docstring Python package #108: Commit 00ef08e pushed by philzook58
January 18, 2025 19:51 5m 18s main
main
January 18, 2025 19:51 5m 18s
more uv stuff Python package #107: Commit 1dd2611 pushed by philzook58
January 18, 2025 19:28 5m 29s main
main
January 18, 2025 19:28 5m 29s
uv Python package #106: Commit 26adbf1 pushed by philzook58
January 18, 2025 19:16 4m 39s main
main
January 18, 2025 19:16 4m 39s
cleanup. removed admit fron Inductive Python package #105: Commit fb77a17 pushed by philzook58
January 18, 2025 16:39 4m 4s main
main
January 18, 2025 16:39 4m 4s