Skip to content
Restart by label

feat: closed term extraction in the new compiler #5020

Sign in to view logs

feat: closed term extraction in the new compiler

feat: closed term extraction in the new compiler #5020

Triggered via pull request May 23, 2025 23:32
@zwarichzwarich
labeled #8458
Status Skipped
Total duration 1s
Artifacts –

restart-on-label.yml

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