test secret #70

	on:
	pull_request:
	types: [opened, synchronize, edited, reopened]
	push:
	workflow_dispatch:
	jobs:
	# build_lambdapi:
	# strategy:
	# fail-fast: false
	# matrix:
	# ocaml-version: [5.1.1, 5.0.0, 4.14.1, 4.13.1, 4.12.1, 4.11.2, 4.10.2, 4.09.1, 4.08.1]
	# runs-on: ubuntu-latest
	# steps:
	# - name: checking out lambdapi repo ...
	# uses: actions/checkout@v4
	# - name: recovering cached opam files ...
	# uses: actions/cache@v4
	# with:
	# path: ~/.opam
	# key: ${{ runner.os }}-ocaml-${{ matrix.ocaml-version }}
	# - name: setting up opam ...
	# uses: avsm/setup-ocaml@v2
	# with:
	# ocaml-compiler: ${{ matrix.ocaml-version }}
	# - name: installing dependencies ...
	# run: \|
	# opam update
	# opam upgrade
	# opam pin add -n -k path lambdapi .
	# opam install --deps-only -d -t lambdapi
	# - name: running tests ...
	# run: \|
	# make sanity_check
	# eval $(opam env)
	# #why3 config detect
	# make tests
	build_vscode_extension:
	strategy:
	fail-fast: false
	runs-on: ubuntu-latest
	steps:
	# - name: checking out lambdapi repo ...
	# uses: actions/checkout@v4
	# - name: Use Node.js
	# uses: actions/setup-node@v4
	# with:
	# node-version: latest
	- name: generate-vscode-extension
	env:
	pat: ${{secrets.VSCODE_PAT}}
	run: \|
	echo "hello"
	echo $pat
	echo $VSCODE_PAT
	echo "bye bye"
	# npm install -g @types/vscode
	# npm install -g vsce
	# make build-vscode-extension
	# - name: publish vscode extension
	# uses: actions/upload-artifact@v4
	# with:
	# name: assets-for-download
	# path: editors/vscode/extensionFolder

Provide feedback