Skip to content

Commit

Permalink
setup pipeline
Browse files Browse the repository at this point in the history
  • Loading branch information
SKairinos committed Mar 4, 2024
1 parent e6db565 commit a5c7c5d
Show file tree
Hide file tree
Showing 3 changed files with 36 additions and 1 deletion.
2 changes: 1 addition & 1 deletion .github/actions/git/setup-bot/action.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ description: "Sets up CFL's bot as the Git user."
runs:
using: composite
steps:
- name: ⚙️ Set up cfl-bot as Git user
- name: 🤖 Set up cfl-bot as Git user
shell: bash
run: |
git config --local user.name cfl-bot
Expand Down
35 changes: 35 additions & 0 deletions .github/workflows/configure-submodules.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
name: Configure Submodules

on:
push:
# branches:
# - main
paths:
- '.submodules/**'
workflow_dispatch:

jobs:
configure:
runs-on: ubuntu-latest
env:
PYTHON_VERSION: 3.11
WORKING_DIR: .submodules
steps:
- name: 🛫 Checkout
uses: actions/checkout@v4
with:
submodules: 'recursive'

- name: 🐍 Set up Python ${{ env.PYTHON_VERSION }} Environment
uses: ocadotechnology/codeforlife-workspace/.github/actions/python/setup-environment@main
with:
python-version: ${{ env.PYTHON_VERSION }}
working-directory: ${{ env.WORKING_DIR }}

- uses: ocadotechnology/codeforlife-workspace/.github/actions/git/setup-bot@main

- name: ⚙️ Configure Submodules
working-directory: ${{ env.WORKING_DIR }}
run: pipenv run python .
env:
GIT_PUSH_CHANGES: '0' # TODO: set to 1 and allow bot to force push
File renamed without changes.

0 comments on commit a5c7c5d

Please sign in to comment.