Skip to content

Migrate from Travis CI to GitHub Actions#59

Draft
Copilot wants to merge 6 commits intomasterfrom
copilot/convert-travis-to-github-actions
Draft

Migrate from Travis CI to GitHub Actions#59
Copilot wants to merge 6 commits intomasterfrom
copilot/convert-travis-to-github-actions

Conversation

Copy link

Copilot AI commented Feb 18, 2026

Replaces Travis CI with GitHub Actions workflow while maintaining identical build, test, and deployment functionality.

Changes

  • .github/workflows/build.yml: New workflow replicating Travis CI pipeline

    • Python 3.6, Maven, TeX Live installation with caching
    • GPG key decryption for signed commits
    • Automated tagging and GitHub Releases deployment
    • Explicit contents: write permission for GITHUB_TOKEN
  • Shell scripts (support/commit*.sh): Updated to detect and support both CI environments

    • Uses $GITHUB_REF_NAME in GitHub Actions, $TRAVIS_BRANCH in Travis
    • Checks for $GITHUB_ACTIONS or $TRAVIS environment variables
    • Repository URL updated from ag-gipp/bib to gipplab/bib
  • README.md: Updated badge and documentation references

Required Secrets

Add these repository secrets for GPG-signed commits:

  • ENCRYPTED_125C18BB9738_KEY
  • ENCRYPTED_125C18BB9738_IV

The .travis.yml file remains in place for rollback capability.


💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

Copilot AI and others added 5 commits February 18, 2026 10:34
Co-authored-by: physikerwelt <2777736+physikerwelt@users.noreply.github.com>
Co-authored-by: physikerwelt <2777736+physikerwelt@users.noreply.github.com>
Co-authored-by: physikerwelt <2777736+physikerwelt@users.noreply.github.com>
Co-authored-by: physikerwelt <2777736+physikerwelt@users.noreply.github.com>
Co-authored-by: physikerwelt <2777736+physikerwelt@users.noreply.github.com>
Copilot AI changed the title [WIP] Convert Travis CI file to GitHub Actions Migrate from Travis CI to GitHub Actions Feb 18, 2026
Copilot AI requested a review from physikerwelt February 18, 2026 10:38
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.

2 participants