Removed credentials added cargo to path
Removed credentials added cargo to path
@@ -7,14 +7,12 @@ jobs:
container:
image: ghcr.io/hacspec/hacspec_coq:8.16
options: --user root
- credentials:
- username: ${{ github.actor }}
- password: ${{ secrets.github_token }}
steps:
- uses: actions/checkout@v3
- name: Build
run: |
export HOME=/home/coq
+ export PATH=$HOME/.cargo/bin:$PATH
env
opam switch 4.13.1+flambda
eval $(opam env)
