int-interval-set 0.2.0

Integer half-open interval set structures built on top of int-interval.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

#!/usr/bin/env python3
"""Check generated files are up to date without modifying the workspace."""

from __future__ import annotations

import subprocess


def run(args: list[str]) -> None:
    print("+", " ".join(args))
    subprocess.run(args, check=True)


def main() -> None:
    try:
        run(["cargo", "run", "-p", "codegen", "--", "--unsigned", "--check"])
        run(["cargo", "run", "-p", "codegen", "--", "--signed", "--check"])
    except subprocess.CalledProcessError as exc:
        raise SystemExit(
            "generated files are stale; run codegen locally and commit the result"
        ) from exc


if __name__ == "__main__":
    main()