Build, Lint, Test and possibly release

feat: Highlight unproven lemmas #149

Sign in to view logs

Triggered via push November 29, 2024 13:57

famoser

main

Status Success

Total duration 26s

Artifacts –

build.yml

on: push

build-lint-test-release