Thanks to visit codestin.com
Credit goes to github.com

Skip to content

migrate ci to github actions#3

Open
rexroni wants to merge 1 commit into
mainfrom
ci
Open

migrate ci to github actions#3
rexroni wants to merge 1 commit into
mainfrom
ci

Conversation

@rexroni
Copy link
Copy Markdown

@rexroni rexroni commented Sep 2, 2025

No description provided.

@rexroni rexroni force-pushed the ci branch 18 times, most recently from 4ad581b to e0067e9 Compare September 2, 2025 12:53
One bug was found, which is that commands could not previously support a
list of strings, even though it was documented that it could.
@rexroni
Copy link
Copy Markdown
Author

rexroni commented Sep 2, 2025

Hm, well now that I've finished this work, I'm concerned that it will break the legacy codebase, since I used the python 3.10 syntax of type | None for optionals and unions.

I was thinking that we only need to support non-EOL python, and python 3.9 goes EOL in october, but we may want to be more conservative than that.

@ioga
Copy link
Copy Markdown

ioga commented Sep 2, 2025

Hm, well now that I've finished this work, I'm concerned that it will break the legacy codebase, since I used the python 3.10 syntax of type | None for optionals and unions.

I was thinking that we only need to support non-EOL python, and python 3.9 goes EOL in october, but we may want to be more conservative than that.

nah 3.10 is fine

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.

3 participants