Skip to content
Check for copyright header

fix: some goal state issues #5359

Sign in to view logs

fix: some goal state issues

fix: some goal state issues #5359

Triggered via pull request October 11, 2024 14:52
@mhuisimhuisi
opened #5677
mhuisi:mhuisi/state-after-case-tactic
Status Success
Total duration 34s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
24s
check-lean-files
Fit to window
Zoom out
Zoom in