#!/bin/bash
set -eo pipefail

just check
