Skip to content

Commit b0833b1

Browse files
authored
Add devcontainer configuration and CI (#1)
1 parent a7dae52 commit b0833b1

File tree

2 files changed

+82
-0
lines changed

2 files changed

+82
-0
lines changed

.devcontainer/devcontainer.json

Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
1+
{
2+
"name": "Dissect",
3+
"image": "python:3.13-bookworm",
4+
"features": {
5+
"ghcr.io/devcontainers/features/common-utils:2": {
6+
"installZsh": "true",
7+
"configureZshAsDefaultShell": "true",
8+
"username": "user",
9+
"userUid": "1000",
10+
"userGid": "1000",
11+
"upgradePackages": "true"
12+
},
13+
"ghcr.io/devcontainers/features/python:1": {
14+
"toolsToInstall": "tox"
15+
},
16+
"ghcr.io/devcontainers/features/git-lfs:1": {
17+
"autoPull": true,
18+
"version": "latest"
19+
}
20+
},
21+
"customizations": {
22+
"vscode": {
23+
"extensions": [
24+
"charliermarsh.ruff"
25+
],
26+
"settings": {
27+
"python.analysis.autoImportCompletions": true,
28+
"python.analysis.indexing": true,
29+
"python.analysis.inlayHints.functionReturnTypes": true,
30+
"python.analysis.packageIndexDepths": [
31+
{
32+
"name": "dissect",
33+
"depth": 69,
34+
"includeAllSymbols": true
35+
}
36+
],
37+
"[python]": {
38+
"editor.formatOnSave": true,
39+
"editor.defaultFormatter": "charliermarsh.ruff"
40+
}
41+
}
42+
}
43+
},
44+
"remoteUser": "user"
45+
}

.github/workflows/release.yml

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
name: "Release devcontainer image"
2+
on:
3+
pull_request:
4+
push:
5+
branches:
6+
- main
7+
workflow_dispatch:
8+
schedule:
9+
- cron: "0 0 1 * *"
10+
11+
jobs:
12+
deploy:
13+
runs-on: ubuntu-latest
14+
steps:
15+
- name: Checkout (GitHub)
16+
uses: actions/checkout@v4
17+
18+
- name: Login to GitHub Container Registry
19+
uses: docker/login-action@v3
20+
with:
21+
registry: ghcr.io
22+
username: ${{ github.repository_owner }}
23+
password: ${{ secrets.GITHUB_TOKEN }}
24+
25+
- name: Pre-build and publish dev container image
26+
uses: devcontainers/[email protected]
27+
with:
28+
imageName: ghcr.io/fox-it/dissect-devcontainer
29+
cacheFrom: ghcr.io/fox-it/dissect-devcontainer
30+
push: filter
31+
refFilterForPush: refs/heads/main
32+
eventFilterForPush: |
33+
push
34+
schedule
35+
workflow_dispatch
36+
env:
37+
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

0 commit comments

Comments
 (0)