Skip to content

local execute#281

Closed
Germandrummer92 wants to merge 1 commit intomainfrom
push-and-local-execute
Closed

local execute#281
Germandrummer92 wants to merge 1 commit intomainfrom
push-and-local-execute

Conversation

@Germandrummer92
Copy link
Copy Markdown
Member

No description provided.

push

adjust to new types

push

typing

debug options also on local execute

add default branch

2 endpoints for draft and main branch push

make it build

fix zip extraction

added consistency check

consistency checks

lockfile and import
@Germandrummer92 Germandrummer92 deleted the push-and-local-execute branch December 18, 2025 12:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant