Migrate from GitLab to GitHub#17
Merged
Merged
Conversation
Port the GitLab CI test jobs to GitHub Actions: a Linux matrix covering Debian bookworm and Ubuntu 22.04 (each with and without Boost.Filesystem) plus a macOS job. The docs/pages job is not migrated. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
The GitHub Actions workflow added in this branch replaces the GitLab CI configuration now that development has moved to GitHub. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Drop the GitLab supplement URL now that development has moved to GitHub. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Point the repo/source links and issue tracker at GitHub, and replace the GitLab Merge Request / WIP-prefix workflow language with GitHub Pull Request / draft-PR conventions in CONTRIBUTING.md. The GitLab Pages documentation links and the external educelab/style-guides link are intentionally left until those are hosted/migrated separately. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
This was referenced Jun 27, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Consolidates the GitLab → GitHub migration: CI, citation metadata, and documentation.
CI
.github/workflows/ci.ymlporting the GitLab test pipeline: a Linux matrix (debian:bookwormandubuntu:22.04, each with and without Boost.Filesystem) plus a plainmacos-latestjob. Ubuntu installs CMake 3.26.4 from Kitware, matching the original config. Triggers on pushes tomainand on pull requests..gitlab-ci.yml.vc-depspath)Metadata
.zenodo.json: drop the GitLabrelated_identifiersentry, leaving only the GitHub supplement URL.Documentation
README.md,docs/index.md,CONTRIBUTING.md).WIP:-prefix workflow language with GitHub Pull Request / draft-PR conventions (CONTRIBUTING.md).educelab/style-guideslink (separate repo, not migrated here).🤖 Generated with Claude Code