chore: remove unused deploy file

This commit is contained in:
Benjamin Labrecque
2026-07-17 13:34:14 +02:00
parent 2286b71a58
commit 599fa5b3a3
2 changed files with 0 additions and 69 deletions
-35
View File
@@ -1,35 +0,0 @@
# name: Deploy bin
#
# # TODO: this should be deployed before service restarts,
# # if both bin and a service changed.
# on:
# push:
# branches:
# - main
# tags:
# - 'prod'
# - 'v*'
# paths:
# - 'bin/**'
#
# jobs:
# deploy:
# runs-on: hla-dev
# defaults:
# run:
# working-directory: ./bin
#
# env:
# # commit tagged ? yes->prod : no->dev
# DEST_DIR: /sls/bd/hla/${{ github.ref_type == 'tag' && 'prod' || 'dev' }}/bin
#
# steps:
# - name: Checkout repository
# uses: actions/checkout@v4
#
# - name: Copy files
# run: |
# mkdir -p ${DEST_DIR}
# cp -r ./* ${DEST_DIR}
#
# # TODO: maybe this is better: `rsync -av --delete ./ "${DEST_DIR}/"` # Sync everything perfectly, including hidden files, and delete old stale files
-34
View File
@@ -1,34 +0,0 @@
# name: Deploy agebd python package
#
# # TODO: services depend on this workflow
# on:
# push:
# branches:
# - main
# tags:
# - 'prod'
# - 'v*'
# paths:
# - 'packages/agebd/**'
#
# jobs:
# deploy:
# runs-on: hla-dev
# defaults:
# run:
# working-directory: ./packages/agebd
#
# env:
# # commit tagged ? yes->prod : no->dev
# DEST_DIR: /sls/bd/hla/${{ github.ref_type == 'tag' && 'prod' || 'dev' }}/packages/agebd
#
# steps:
# - name: Checkout repository
# uses: actions/checkout@v4
#
# - name: Copy files
# run: |
# mkdir -p ${DEST_DIR}
# cp -r ./* ${DEST_DIR}
#
# # TODO: maybe this is better: `rsync -av --delete ./ "${DEST_DIR}/"` # Sync everything perfectly, including hidden files, and delete old stale files