Check for stage0 changes

chore: fix explicitness of Prod.map lemmas #1686

Sign in to view logs

Triggered via pull request June 22, 2024 10:49

kim-em

opened #4533

Prod_map_explicitness

Status Success

Total duration 31s

Artifacts –

check-stage0.yml

on: pull_request

check-stage0-on-queue