Skip to content

Actions: philzook58/knuckledragger

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
114 workflow runs
114 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #38: by github-pages bot
October 1, 2024 00:20 32s
October 1, 2024 00:20 32s
refactored to logic. vampiresolver bug. made multisolver non concurrent documentation #45: Commit edff009 pushed by philzook58
October 1, 2024 00:19 31s main
main
October 1, 2024 00:19 31s
refactored to logic. vampiresolver bug. made multisolver non concurrent Python package #31: Commit edff009 pushed by philzook58
October 1, 2024 00:19 1m 16s main
main
October 1, 2024 00:19 1m 16s
pages build and deployment pages-build-deployment #37: by github-pages bot
September 27, 2024 12:55 25s
September 27, 2024 12:55 25s
install python script documentation #44: Commit db914ec pushed by philzook58
September 27, 2024 12:55 30s main
main
September 27, 2024 12:55 30s
install python script Python package #30: Commit db914ec pushed by philzook58
September 27, 2024 12:55 2m 40s main
main
September 27, 2024 12:55 2m 40s
pages build and deployment pages-build-deployment #36: by github-pages bot
September 27, 2024 12:49 26s
September 27, 2024 12:49 26s
added tao test Python package #29: Commit 589f11b pushed by philzook58
September 27, 2024 12:49 2m 42s main
main
September 27, 2024 12:49 2m 42s
added tao test documentation #43: Commit 589f11b pushed by philzook58
September 27, 2024 12:49 22s main
main
September 27, 2024 12:49 22s
pages build and deployment pages-build-deployment #35: by github-pages bot
September 27, 2024 01:58 24s
September 27, 2024 01:58 24s
added proof to base solver documentation #42: Commit f1ef7b6 pushed by philzook58
September 27, 2024 01:57 29s main
main
September 27, 2024 01:57 29s
added proof to base solver Python package #28: Commit f1ef7b6 pushed by philzook58
September 27, 2024 01:57 2m 26s main
main
September 27, 2024 01:57 2m 26s
pages build and deployment pages-build-deployment #34: by github-pages bot
September 27, 2024 01:04 24s
September 27, 2024 01:04 24s
added fof formula printing, fixed smtlib declare sort bug, theory fla… documentation #41: Commit cda02d2 pushed by philzook58
September 27, 2024 01:03 29s main
main
September 27, 2024 01:03 29s
added fof formula printing, fixed smtlib declare sort bug, theory fla… Python package #27: Commit cda02d2 pushed by philzook58
September 27, 2024 01:03 2m 34s main
main
September 27, 2024 01:03 2m 34s
pages build and deployment pages-build-deployment #33: by github-pages bot
September 22, 2024 23:05 22s
September 22, 2024 23:05 22s
cat keyboard Python package #26: Commit ffc98f4 pushed by philzook58
September 22, 2024 23:05 1m 28s main
main
September 22, 2024 23:05 1m 28s
cat keyboard documentation #40: Commit ffc98f4 pushed by philzook58
September 22, 2024 23:05 28s main
main
September 22, 2024 23:05 28s
pages build and deployment pages-build-deployment #32: by github-pages bot
September 22, 2024 23:00 26s
September 22, 2024 23:00 26s
fof tptp and hebrand inference rules Python package #25: Commit 08ac92a pushed by philzook58
September 22, 2024 22:59 1m 14s main
main
September 22, 2024 22:59 1m 14s
fof tptp and hebrand inference rules documentation #39: Commit 08ac92a pushed by philzook58
September 22, 2024 22:59 23s main
main
September 22, 2024 22:59 23s
pages build and deployment pages-build-deployment #31: by github-pages bot
September 19, 2024 13:28 29s
September 19, 2024 13:28 29s
added tff. zipperposition check Python package #24: Commit b409392 pushed by philzook58
September 19, 2024 13:28 1m 19s main
main
September 19, 2024 13:28 1m 19s
added tff. zipperposition check documentation #38: Commit b409392 pushed by philzook58
September 19, 2024 13:28 25s main
main
September 19, 2024 13:28 25s
pages build and deployment pages-build-deployment #30: by github-pages bot
September 18, 2024 22:54 24s
September 18, 2024 22:54 24s