diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yml | 28 | ||||
| -rw-r--r-- | .github/workflows/mirror.yml | 25 |
2 files changed, 0 insertions, 53 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml deleted file mode 100644 index 2b8735b..0000000 --- a/.github/workflows/ci.yml +++ /dev/null @@ -1,28 +0,0 @@ -name: CI - -on: - push: - branches: [master] - pull_request: - branches: [master] - -permissions: - contents: read - -jobs: - test: - name: Test - runs-on: ubuntu-latest - steps: - - name: Checkout repository - uses: actions/checkout@v5 - - name: Set up Node.js - uses: actions/setup-node@v5 - with: - node-version: 22 - - name: Install dependencies - run: npm ci - - name: Run checks - run: npm run check - - name: Run type checks - run: npm run typecheck diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml deleted file mode 100644 index 9fed247..0000000 --- a/.github/workflows/mirror.yml +++ /dev/null @@ -1,25 +0,0 @@ -name: Mirror - -on: - push: - branches: [master] - pull_request: - branches: [master] - -permissions: - contents: read - -jobs: - mirror: - runs-on: ubuntu-latest - steps: - - name: Checkout repository - uses: actions/checkout@v5 - with: - fetch-depth: 0 - - name: Mirror to remote repository - uses: yesolutions/mirror-action@master - with: - REMOTE: "https://git.popov.link/popov.link.git" - GIT_USERNAME: ${{ secrets.GIT_USERNAME }} - GIT_PASSWORD: ${{ secrets.GIT_PASSWORD }} |
