Check for stage0 changes

feat: additional lemmas for lists #1899

Sign in to view logs

Triggered via pull request July 1, 2024 09:49

TwoFX

opened #4602

markus/list-lemmas

Status Success

Total duration 25s

Artifacts –

check-stage0.yml

on: pull_request

check-stage0-on-queue