name: Testing with devbox

on: push
env:
  #  DOCKER_REGISTRY: docker.io
  # DOCKER_USERNAME: softyouling
  # 此处可修改为你任意 docker 镜像仓库地址和用户名

  DOMAIN: gitea.lntu.edu.cn
jobs:
  test:
    runs-on: ubuntu-latest
    steps:
    - name: 🔎拉取代码
      uses: https://${{ env.DOMAIN }}/actions/checkout@v4

    - name: 🐬安装devbox
      uses: https://${{ env.DOMAIN }}/actions/devbox-install-action@v0.9.0

    - name: Run arbitrary commands
      run: devbox run -- echo "done!"

    - name: Run a script called test
      run: devbox run test