Skip to content

Update workbench docker version to v0.2.5#100

Merged
carpentries-bot merged 1 commit intomainfrom
update/workbench-docker-version
Mar 3, 2026
Merged

Update workbench docker version to v0.2.5#100
carpentries-bot merged 1 commit intomainfrom
update/workbench-docker-version

Conversation

@carpentries-bot
Copy link
Member

Workbench Docker image version updated to: v0.2.5

GHCR
DockerHub

@carpentries-bot carpentries-bot merged commit de1d0dd into main Mar 3, 2026
3 checks passed
@carpentries-bot carpentries-bot deleted the update/workbench-docker-version branch March 3, 2026 00:11
@github-actions
Copy link

github-actions bot commented Mar 3, 2026

NOTE: This Pull Request (#100) was previously merged

github-actions bot pushed a commit that referenced this pull request Mar 3, 2026
Auto-generated via `{sandpaper}`
Source  : de1d0dd
Branch  : main
Author  : The Carpentries Apprentice (beta) <[email protected]>
Time    : 2026-03-03 00:11:18 +0000
Message : [actions] update workbench docker version to v0.2.5 (#100)

Co-authored-by: tobyhodges <[email protected]>
github-actions bot pushed a commit that referenced this pull request Mar 3, 2026
Auto-generated via `{sandpaper}`
Source  : 3a14e04
Branch  : md-outputs
Author  : GitHub Actions <[email protected]>
Time    : 2026-03-03 00:15:44 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : de1d0dd
Branch  : main
Author  : The Carpentries Apprentice (beta) <[email protected]>
Time    : 2026-03-03 00:11:18 +0000
Message : [actions] update workbench docker version to v0.2.5 (#100)

Co-authored-by: tobyhodges <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants