Skip to content

Add devcontainer for local dev and CI#236

Draft
aatchison wants to merge 9 commits intothunderbird:mainfrom
aatchison:main
Draft

Add devcontainer for local dev and CI#236
aatchison wants to merge 9 commits intothunderbird:mainfrom
aatchison:main

Conversation

@aatchison
Copy link
Collaborator

Description of the Change

Benefits

Applicable Issues

* add devcontaienr and test workflow

* disable old workflows for now

* branch typo

* use cached container for ruff format

* install pip requirements

* remove post create command.

* remove python version for now

* cat out  pip log

* don't ush lint step

* update python version

* create lint job to seperate

* needed runs-on

* must I checkotu each time?

* separate build and lint

* separate build and lint

* missed line

* be consistant

* add soem stuff to build the docs

* \

* add some logic to build-docs for validation runs and rename lint

* add back validation conditions

* add back docs pages
* add devcontaienr and test workflow

* disable old workflows for now

* branch typo

* use cached container for ruff format

* install pip requirements

* remove post create command.

* remove python version for now

* cat out  pip log

* don't ush lint step

* update python version

* create lint job to seperate

* needed runs-on

* must I checkotu each time?

* separate build and lint

* separate build and lint

* missed line

* be consistant

* add soem stuff to build the docs

* \

* add some logic to build-docs for validation runs and rename lint

* add back validation conditions

* add back docs pages
* test

* set propagate_tags to inherit from service definition (thunderbird#238)

* separarate dev container build

* separate devcontainer build

* make repo name dynamic

* fix up yaml

* add devcontainer-lock.json to hopefully speed up caching

* fix up files and use cahced container

* build devcontainer name dynamically
* add back publish workflow

* try validate-${{ github.ref }} to stop failed checks
@aatchison aatchison added the DO_NOT_MERGE Don't merge this PR label Nov 19, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

DO_NOT_MERGE Don't merge this PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant