Repository navigation

fix(rs): an empty path segment is not a container name #66

	name: CI

	on:
	pull_request:
	branches: [main]

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	quint:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v7
	- uses: actions/setup-node@v7
	with:
	node-version: "22"
	- run: npm install -g @informalsystems/quint
	- run: make typecheck
	- run: make test-spec
	- run: make verify BACKEND=typescript

	go:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v7
	- uses: actions/setup-go@v7
	with:
	go-version: "1.22"
	cache-dependency-path: go/go.sum
	- run: make lint-go
	- run: make test-go
	- run: make build-go

	rust:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v7
	- uses: actions-rust-lang/setup-rust-toolchain@v1
	with:
	toolchain: "1.85"
	- run: make lint-rs
	- run: make test-rs
	- run: make build-rs

	typescript:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v7
	- uses: actions/setup-node@v7
	with:
	node-version: "22"
	cache: npm
	cache-dependency-path: ts/package-lock.json
	- working-directory: ts
	run: npm ci
	- run: make lint-ts
	- run: make test-ts
	- run: make build-ts

	integration:
	runs-on: ubuntu-latest
	needs: [go]
	steps:
	- uses: actions/checkout@v7
	- run: make test-integration
	- run: make test-integration-rs
	- run: make test-integration-ts

	reproducible-build:
	runs-on: ubuntu-latest
	needs: [go, rust, typescript]
	steps:
	- uses: actions/checkout@v7
	- run: make verify-reproducible-all