Skip to content
Lean Action CI

fix: do not reparse any term! #75

Sign in to view logs

fix: do not reparse any term!

fix: do not reparse any term! #75

Triggered via pull request November 18, 2024 00:42
@abdoo8080abdoo8080
opened #15
abdoo8080:no-reparse
Status Success
Total duration 2m 14s
Artifacts –

lean_action_ci.yml

on: pull_request
build
2m 2s
build
Fit to window
Zoom out
Zoom in