Add widgets for editing examples #105

	# Run formatting on all PRs

	name: (FE) Lint & Format

	on:
	push:
	branches: ["main"]
	paths:
	- 'frontend/**'
	pull_request:
	paths:
	- 'frontend/**'
	workflow_dispatch: # Allows triggering the workflow manually in GitHub UI


	# If another push to the same PR or branch happens while this workflow is still running,
	# cancel the earlier run in favor of the next run.
	#
	# There's no point in testing an outdated version of the code. GitHub only allows
	# a limited number of job runners to be active at the same time, so it's better to cancel
	# pointless jobs early so that more useful jobs can run sooner.
	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	format:
	name: Check formatting
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Use Node.js 18.x
	uses: actions/setup-node@v3
	with:
	node-version: 18.x
	cache: "yarn"
	cache-dependency-path: ./frontend/yarn.lock
	- name: Install dependencies
	run: yarn install --immutable --mode=skip-build
	working-directory: ./frontend
	- name: Check formatting
	run: yarn format:check
	working-directory: ./frontend

	lint:
	name: Check linting
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Use Node.js 18.x
	uses: actions/setup-node@v3
	with:
	node-version: 18.x
	cache: "yarn"
	cache-dependency-path: ./frontend/yarn.lock
	- name: Install dependencies
	run: yarn install --immutable --mode=skip-build
	working-directory: ./frontend
	- name: Check linting
	run: yarn lint
	working-directory: ./frontend

Provide feedback