Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
59 changes: 59 additions & 0 deletions .github/workflows/mirror.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,59 @@
name: Mirror and Trigger EICweb

on:
delete:
push:
workflow_dispatch:

concurrency:
group: mirror-${{ github.event_name }}
cancel-in-progress: false

jobs:
build:
name: Mirror and Trigger EICweb
runs-on: ubuntu-latest
permissions:
actions: write
contents: read
statuses: write
steps:
- name: Checkout
uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Push to EICweb
uses: eic/gitlab-sync@master
with:
url: https://eicweb.phy.anl.gov/EIC/campaigns/datasets.git
token: ${{ secrets.GITLAB_TOKEN }}
username: ${{ secrets.GITLAB_USERNAME }}
ciskip: true
- name: Trigger EICweb
id: trigger_eicweb
uses: eic/trigger-gitlab-ci@v3
if: ${{ github.event_name != 'delete' }}
with:
url: https://eicweb.phy.anl.gov
project_id: 491
token: ${{ secrets.EICWEB_CAMPAIGNS_DATASETS_TRIGGER }}
ref_name: ${{ github.event.pull_request.head.ref || github.ref }}
variables: |
GITHUB_REPOSITORY=${{ github.repository }}
GITHUB_SHA=${{ github.event.pull_request.head.sha || github.sha }}
GITHUB_PR=${{ github.event.pull_request.number }}
PIPELINE_NAME=${{ github.repository }}: ${{ github.event.pull_request.title || github.ref_name }}
- name: Set pending EICweb status
if: ${{ github.event_name != 'delete' }}
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
DETECTOR_CONFIG: epic_craterlake
run: |
curl \
--fail-with-body \
-X POST \
-H "Accept: application/vnd.github+json" \
-H "Authorization: Bearer $GITHUB_TOKEN" \
-H "X-GitHub-Api-Version: 2022-11-28" \
-d '{"context": "eicweb/campaigns/datasets (nightly, '"$DETECTOR_CONFIG"')", "state": "pending", "description": "Waiting for response from the EICweb", "target_url": "${{ fromJson(steps.trigger_eicweb.outputs.json).web_url }}"}' \
"https://api.github.com/repos/${{ github.repository }}/statuses/${{ github.event.pull_request.head.sha || github.sha }}"