ci: remove the one-off actions.lock regeneration workflow - #117

ci: remove the one-off actions.lock regeneration workflow#117

hyperpolymath merged 1 commit into

mainhyperpolymath/proof-burrower:mainfrom

claude/new-session-th4e9whyperpolymath/proof-burrower:claude/new-session-th4e9wCopy head branch name to clipboard