Skip to content

refactor: move ext environment extension to Lean.Meta.Tactic #2704

refactor: move ext environment extension to Lean.Meta.Tactic

refactor: move ext environment extension to Lean.Meta.Tactic #2704

Triggered via pull request January 17, 2025 18:50
@leodemouraleodemoura
labeled #6681
Status Skipped
Total duration 2s
Artifacts

restart-on-label.yml

on: pull_request_target
restart-on-label
0s
restart-on-label
Fit to window
Zoom out
Zoom in