Skip to content
This repository was archived by the owner on Jun 26, 2025. It is now read-only.

remove dp

remove dp #154

Workflow file for this run

on:
push:
branches:
- main
workflow_dispatch:
concurrency:
group: ${{ github.workflow}}
cancel-in-progress: true
name: Deploy to Server
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Set up Git User
run: |
git config user.name "${{ github.actor }}"
git config user.email "${{ github.actor_id }}+${{ github.actor }}@users.noreply.github.com"
- name: Tailscale
uses: tailscale/github-action@v3
with:
tags: tag:ci
oauth-client-id: ${{ secrets.TS_OAUTH_CLIENT_ID }}
oauth-secret: ${{ secrets.TS_OAUTH_SECRET }}
use-cache: 'true'
- name: Install uv
uses: astral-sh/setup-uv@v5
with:
enable-cache: true
- name: Set up Python
working-directory: deploy
run: uv python install
- name: Cache Facts
uses: actions/cache@v4
with:
path: ~/.ansible/facts
key: ansible-facts-${{ runner.os }}-${{ hashFiles('deploy/ansible-deploy.yaml') }}
- name: Add Server IP to Ansible hosts
run: |
echo "[progcomp2025]" >> deploy/ansible_hosts
echo "${{ secrets.SERVER_IP }}" >> deploy/ansible_hosts
- name: Run Ansible playbook
run: |
ansible-playbook deploy/ansible-deploy.yaml \
--inventory deploy/ansible_hosts \
--extra-vars "ansible_user=${{ secrets.SERVER_USER }}"
env:
ANSIBLE_HOST_KEY_CHECKING: false
ANSIBLE_CONFIG: deploy/ansible.cfg