mirror of
https://github.com/johndoe6345789/WizardMerge.git
synced 2026-04-24 13:44:55 +00:00
60 lines
1.5 KiB
YAML
60 lines
1.5 KiB
YAML
name: TLC
|
|
|
|
on:
|
|
push:
|
|
branches:
|
|
- main
|
|
pull_request:
|
|
|
|
permissions:
|
|
contents: write
|
|
|
|
jobs:
|
|
check:
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
- uses: actions/checkout@v6
|
|
with:
|
|
fetch-depth: 0 # we need history to switch/create branches
|
|
|
|
- name: Install Java
|
|
uses: actions/setup-java@v5
|
|
with:
|
|
distribution: temurin
|
|
java-version: 17
|
|
|
|
# If you ever need a specific Python version, add setup-python here
|
|
# - uses: actions/setup-python@v5
|
|
# with:
|
|
# python-version: '3.12'
|
|
|
|
- name: Run TLC and capture logs
|
|
run: |
|
|
python3 scripts/tlaplus.py run
|
|
|
|
- name: Push TLC results to ci/test-results branch
|
|
if: always() && github.ref == 'refs/heads/main'
|
|
run: |
|
|
# Configure git identity for CI commits
|
|
git config user.name "github-actions[bot]"
|
|
git config user.email "github-actions[bot]@users.noreply.github.com"
|
|
|
|
# Make sure we know about remote branches
|
|
git fetch origin
|
|
|
|
# Create or reset local ci/test-results branch to current main
|
|
git checkout -B ci/test-results
|
|
|
|
mkdir -p ci/test-results
|
|
|
|
# Copy latest results into branch; you can add timestamps/paths as you like
|
|
cp -r ci-results/* ci/test-results/ || true
|
|
|
|
git add ci/test-results
|
|
|
|
# Don't fail the workflow if nothing changed
|
|
git commit -m "TLC results run ${GITHUB_RUN_NUMBER}" || echo "No changes to commit"
|
|
|
|
git push origin ci/test-results
|