Update coq-debian.yml

.github/workflows/coq-debian.yml

@@ -40,172 +40,6 @@ jobs:
     - name: chroot build params
       shell: in-debian-chroot.sh {0}
       run: CI=1 etc/ci/describe-system-config.sh
-    - name: make deps
+    - name: make garagedoor
       shell: in-debian-chroot.sh {0}
-      run: etc/ci/github-actions-make.sh -j2 deps
-    - name: all-except-generated-and-js-of-ocaml
-      shell: in-debian-chroot.sh {0}
-      run: etc/ci/github-actions-make.sh -j2 all-except-generated-and-js-of-ocaml
-    - name: generated-files
-      shell: in-debian-chroot.sh {0}
-      run: etc/ci/github-actions-make.sh -j2 generated-files
-    - run: tar -czvf generated-files.tgz fiat-*/
-      if: ${{ failure() }}
-    - name: upload generated files
-      uses: actions/upload-artifact@v3
-      with:
-        name: generated-files-${{ matrix.env.DEBIAN }}
-        path: generated-files.tgz
-      if: ${{ failure() }}
-    - name: install-standalone-unified-ocaml
-      shell: in-debian-chroot.sh {0}
-      run: etc/ci/github-actions-make.sh install-standalone-unified-ocaml BINDIR=dist
-    - name: standalone-js-of-ocaml
-      shell: in-debian-chroot.sh {0}
-      run: etc/ci/github-actions-make.sh -j2 standalone-js-of-ocaml
-    - name: install-standalone-js-of-ocaml
-      shell: in-debian-chroot.sh {0}
-      run: etc/ci/github-actions-make.sh install-standalone-js-of-ocaml
-    - name: upload standalone files
-      uses: actions/upload-artifact@v3
-      with:
-        name: standalone-${{ matrix.env.DEBIAN }}
-        path: dist/fiat_crypto
-    - name: upload standalone js files
-      uses: actions/upload-artifact@v3
-      with:
-        name: standalone-html-${{ matrix.env.DEBIAN }}
-        path: fiat-html
-    - name: upload OCaml files
-      uses: actions/upload-artifact@v3
-      with:
-        name: ExtractionOCaml-${{ matrix.env.DEBIAN }}
-        path: src/ExtractionOCaml
-      if: always ()
-    - name: upload js_of_ocaml files
-      uses: actions/upload-artifact@v3
-      with:
-        name: ExtractionJsOfOCaml-${{ matrix.env.DEBIAN }}
-        path: src/ExtractionJsOfOCaml
-      if: always ()
-    - name: standalone-haskell
-      shell: in-debian-chroot.sh {0}
-      run: etc/ci/github-actions-make.sh -j1 standalone-haskell GHCFLAGS='+RTS -M7G -RTS'
-    - name: upload Haskell files
-      uses: actions/upload-artifact@v3
-      with:
-        name: ExtractionHaskell-${{ matrix.env.DEBIAN }}
-        path: src/ExtractionHaskell
-      if: always ()
-    - name: only-test-amd64-files-lite
-      shell: in-debian-chroot.sh {0}
-      run: etc/ci/github-actions-make.sh -j2 only-test-amd64-files-lite SLOWEST_FIRST=1
-    - name: install
-      shell: in-debian-chroot.sh {0}
-      run: sudo etc/ci/github-actions-make.sh EXTERNAL_DEPENDENCIES=1 SKIP_COQSCRIPTS_INCLUDE=1 install install-standalone-ocaml
-    - name: install-without-bedrock2
-      shell: in-debian-chroot.sh {0}
-      run: sudo etc/ci/github-actions-make.sh EXTERNAL_DEPENDENCIES=1 SKIP_BEDROCK2=1 install-without-bedrock2 install-standalone-ocaml
-    - name: install-dev
-      shell: in-debian-chroot.sh {0}
-      run: sudo etc/ci/github-actions-make.sh EXTERNAL_REWRITER=1 EXTERNAL_COQPRIME=1 install install-standalone-ocaml
-    - name: display timing info
-      run: cat time-of-build-pretty.log
-    - name: display per-line timing info
-      run: etc/ci/github-actions-display-per-line-timing.sh
-
-  test-standalone:
-    strategy:
-      fail-fast: false
-      matrix:
-        include:
-        - debian: sid
-        #- debian: bookworm # restore once 8.17 lands in Debian stable
-    runs-on: ubuntu-latest
-    needs: build
-    steps:
-    - uses: actions/checkout@v4
-    - name: Download standalone ${{ matrix.debian }}
-      uses: actions/download-artifact@v3
-      with:
-        name: standalone-${{ matrix.debian }}
-        path: dist/
-    - name: List files
-      run: find dist
-    - run: chmod +x dist/fiat_crypto
-    - name: Test files (host)
-      run: |
-        echo "::group::file fiat_crypto"
-        file dist/fiat_crypto
-        echo "::endgroup::"
-        echo "::group::ldd fiat_crypto"
-        ldd dist/fiat_crypto
-        echo "::endgroup::"
-        etc/ci/test-run-fiat-crypto.sh dist/fiat_crypto
-    - name: setup Debian chroot
-      run: etc/ci/setup-debian-chroot.sh "${{ matrix.debian }}"
-    - name: Test files (container)
-      shell: in-debian-chroot.sh {0}
-      run: |
-        echo "::group::file fiat_crypto"
-        file dist/fiat_crypto
-        echo "::endgroup::"
-        echo "::group::ldd fiat_crypto"
-        ldd dist/fiat_crypto
-        echo "::endgroup::"
-        etc/ci/test-run-fiat-crypto.sh dist/fiat_crypto
-
-  publish-standalone-dry-run:
-    runs-on: ubuntu-latest
-    needs: build
-#    permissions:
-#      contents: write  # IMPORTANT: mandatory for making GitHub Releases
-    steps:
-    - uses: actions/checkout@v4
-      with:
-        fetch-depth: 0 # Fetch all history for all tags and branches
-        tags: true     # Fetch all tags as well, `fetch-depth: 0` might be sufficient depending on Git version
-    - name: Download standalone sid
-      uses: actions/download-artifact@v3
-      with:
-        name: standalone-sid
-        path: dist/
-    - name: List files
-      run: find dist
-    - name: Rename files
-      run: |
-        echo "::group::find arch"
-        arch="$(etc/ci/find-arch.sh dist/fiat_crypto "unknown")"
-        tag="$(git describe --tags HEAD)"
-        fname="Fiat-Cryptography_${tag}_Linux_debian_sid_${arch}"
-        echo "$fname"
-        mv dist/fiat_crypto "dist/$fname"
-        find dist
-#    - name: Upload artifacts to GitHub Release
-#      env:
-#        GITHUB_TOKEN: ${{ github.token }}
-#      # Upload to GitHub Release using the `gh` CLI.
-#      # `dist/` contains the built packages
-#      run: >-
-#        gh release upload
-#        '${{ github.ref_name }}' dist/**
-#        --repo '${{ github.repository }}'
-#      if: ${{ startsWith(github.ref, 'refs/tags/') && github.event_name == 'release' }}
-
-  debian-check-all:
-    runs-on: ubuntu-latest
-    needs: [build, test-standalone, publish-standalone-dry-run]
-    if: always()
-    steps:
-    - run: echo 'build passed'
-      if: ${{ needs.build.result == 'success' }}
-    - run: echo 'test-standalone passed'
-      if: ${{ needs.test-standalone.result == 'success' }}
-    - run: echo 'publish-standalone-dry-run passed'
-      if: ${{ needs.publish-standalone-dry-run.result == 'success' }}
-    - run: echo 'build failed' && false
-      if: ${{ needs.build.result != 'success' }}
-    - run: echo 'test-standalone failed' && false
-      if: ${{ needs.test-standalone.result != 'success' }}
-    - run: echo 'publish-standalone-dry-run failed' && false
-      if: ${{ needs.publish-standalone-dry-run.result != 'success' }}
+      run: /usr/bin/time -v make -j src/Bedrock/End2End/X25519/GarageDoorTop.vo