Skip to content
Test

use lean4-cli #57

Sign in to view logs

use lean4-cli

use lean4-cli #57

Triggered via pull request September 6, 2024 15:36
@SeasawherSeasawher
opened #40
cli
Status Success
Total duration 41s
Artifacts –

test.yml

on: pull_request
test
30s
test
Fit to window
Zoom out
Zoom in