Skip to content

docs: use internet archive for isabelle.systems #2698

docs: use internet archive for isabelle.systems

docs: use internet archive for isabelle.systems #2698

Triggered via pull request August 8, 2024 19:06
Status Success
Total duration 1m 1s
Artifacts

pr.yml

on: pull_request
Gitlint
43s
Gitlint
Trailing Whitespace
32s
Trailing Whitespace
Portable Shell
31s
Portable Shell
Style
51s
Style
Fit to window
Zoom out
Zoom in