Skip to content

docs: use internet archive for isabelle.systems #66

docs: use internet archive for isabelle.systems

docs: use internet archive for isabelle.systems #66

Triggered via pull request August 8, 2024 19:06
@XaphiosisXaphiosis
opened #810
Status Success
Total duration 45s
Artifacts

lint.yml

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