Skip to content
Build

Rename ExtractReport::{expr -> term} #667

Sign in to view logs

Rename ExtractReport::{expr -> term}

Rename ExtractReport::{expr -> term} #667

Triggered via pull request August 24, 2023 00:30
@wilcoxjaywilcoxjay
opened #213
wilcoxjay:jrw/rename-extract-report-expr-to-term
Status Success
Total duration 1m 22s
Artifacts –

build.yml

on: pull_request
test
1m 11s
test
nits
44s
nits
Fit to window
Zoom out
Zoom in