Skip to content

Update arch-split doc; rename arch_split->arch-split #41

Update arch-split doc; rename arch_split->arch-split

Update arch-split doc; rename arch_split->arch-split #41

Triggered via pull request July 24, 2024 01:35
@XaphiosisXaphiosis
opened #801
Status Success
Total duration 1m 7s
Artifacts

lint.yml

on: pull_request_target
Theory Linter
57s
Theory Linter
Fit to window
Zoom out
Zoom in