Add codelens command to copy models #63

	name: ImandraX VSCode Extension CI

	on:
	workflow_dispatch:
	pull_request:
	push:
	branches:
	- main

	jobs:
	build:
	runs-on: ubuntu-latest
	timeout-minutes: 15
	steps:
	- name: Checkout
	uses: actions/checkout@v4

	- name: 'Setup node'
	uses: actions/setup-node@v4

	- name: 'Install vsce'
	run: npm install -g @vscode/vsce

	- name: 'Install esbuild'
	run: npm install esbuild

	- name: 'Build extension'
	run: npm install; vsce package

	- uses: actions/upload-artifact@v4
	with:
	name: artifacts.zip
	path: imandrax-*.vsix

	publish:
	runs-on: ubuntu-latest
	permissions:
	contents: write
	needs: build
	if: github.ref == 'refs/heads/main'
	steps:
	- name: Checkout
	uses: actions/checkout@v4
	- name: 'Extract version number'
	run: \|
	grep version package.json \| cut -d ':' -f 2 \| sed 's/[", ]//g' > version.txt
	echo "VERSION="`cat version.txt` >> $GITHUB_ENV
	- uses: actions/download-artifact@v4
	with:
	merge-multiple: true
	- uses: ncipollo/release-action@v1
	with:
	artifacts: "imandrax-*.vsix"
	name: "ImandraX VSIX ${{ env.VERSION }}"
	body: "The latest release of the ImandraX VSCode extension"
	tag: ver-${{ env.VERSION }}
	allowUpdates: false
	removeArtifacts: true
	makeLatest: true

Provide feedback