Skip to content

Actions: philzook58/knuckledragger

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
410 workflow runs
410 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cleanup. removed admit fron Inductive
documentation #119: Commit fb77a17 pushed by philzook58
January 18, 2025 16:39 51s main
January 18, 2025 16:39 51s
cleanup. removed admit fron Inductive
Python package #105: Commit fb77a17 pushed by philzook58
January 18, 2025 16:39 4m 4s main
January 18, 2025 16:39 4m 4s
pages build and deployment
pages-build-deployment #111: by github-pages bot
January 18, 2025 04:18 24s gh-pages
January 18, 2025 04:18 24s
no typeheck eval
documentation #118: Commit 369a262 pushed by philzook58
January 18, 2025 04:18 47s main
January 18, 2025 04:18 47s
no typeheck eval
Python package #104: Commit 369a262 pushed by philzook58
January 18, 2025 04:18 4m 0s main
January 18, 2025 04:18 4m 0s
pages build and deployment
pages-build-deployment #110: by github-pages bot
January 17, 2025 22:33 24s gh-pages
January 17, 2025 22:33 24s
updated tests to new unfold
documentation #117: Commit d1724d0 pushed by philzook58
January 17, 2025 22:32 53s main
January 17, 2025 22:32 53s
updated tests to new unfold
Python package #103: Commit d1724d0 pushed by philzook58
January 17, 2025 22:32 4m 4s main
January 17, 2025 22:32 4m 4s
pages build and deployment
pages-build-deployment #109: by github-pages bot
January 17, 2025 19:58 24s gh-pages
January 17, 2025 19:58 24s
improved unfold
Python package #102: Commit 5924e76 pushed by philzook58
January 17, 2025 19:57 3m 57s main
January 17, 2025 19:57 3m 57s
improved unfold
documentation #116: Commit 5924e76 pushed by philzook58
January 17, 2025 19:57 1m 0s main
January 17, 2025 19:57 1m 0s
pages build and deployment
pages-build-deployment #108: by github-pages bot
January 16, 2025 16:58 26s gh-pages
January 16, 2025 16:58 26s
pyright in ci
documentation #115: Commit 68f26cf pushed by philzook58
January 16, 2025 16:57 47s main
January 16, 2025 16:57 47s
pyright in ci
Python package #101: Commit 68f26cf pushed by philzook58
January 16, 2025 16:57 4m 2s main
January 16, 2025 16:57 4m 2s
pages build and deployment
pages-build-deployment #107: by github-pages bot
January 16, 2025 16:52 27s gh-pages
January 16, 2025 16:52 27s
better static typing
documentation #114: Commit c421c9a pushed by philzook58
January 16, 2025 16:51 49s main
January 16, 2025 16:51 49s
better static typing
Python package #100: Commit c421c9a pushed by philzook58
January 16, 2025 16:51 4m 39s main
January 16, 2025 16:51 4m 39s
pages build and deployment
pages-build-deployment #106: by github-pages bot
January 16, 2025 14:04 29s gh-pages
January 16, 2025 14:04 29s
doc improvements
documentation #113: Commit 976aa1a pushed by philzook58
January 16, 2025 14:03 57s main
January 16, 2025 14:03 57s
doc improvements
Python package #99: Commit 976aa1a pushed by philzook58
January 16, 2025 14:03 5m 20s main
January 16, 2025 14:03 5m 20s
pages build and deployment
pages-build-deployment #105: by github-pages bot
January 16, 2025 13:40 36s gh-pages
January 16, 2025 13:40 36s
typehints sphinx
Python package #98: Commit 8097c96 pushed by philzook58
January 16, 2025 13:39 4m 24s main
January 16, 2025 13:39 4m 24s
typehints sphinx
documentation #112: Commit 8097c96 pushed by philzook58
January 16, 2025 13:39 59s main
January 16, 2025 13:39 59s
pages build and deployment
pages-build-deployment #104: by github-pages bot
January 16, 2025 05:26 27s gh-pages
January 16, 2025 05:26 27s
Working through examples. Improved typing. Fix cases tactic bug
documentation #111: Commit 6d41b4a pushed by philzook58
January 16, 2025 05:25 50s main
January 16, 2025 05:25 50s