Skip to content
Pull Request or Push

Pull Request or Push #140

Sign in to view logs

Pull Request or Push

Pull Request or Push #140

Triggered via push October 6, 2024 23:25
@lkubblkubb
⁠ 73b4161
main
Status Success
Total duration 32m 9s
Artifacts 5

pr.yml

on: push
CI  /  ...  /  Get Changed Files
3s
CI / Get Changed Files / Get Changed Files
CI  /  ...  /  Pre-Commit
1m 10s
CI / Pre-Commit / Pre-Commit
CI  /  ...  /  Linux
13m 40s
CI / Test / Linux
CI  /  ...  /  Windows
30m 10s
CI / Test / Windows
CI  /  ...  /  macOS
17m 54s
CI / Test / macOS
CI  /  ...  /  Docs
36s
CI / Docs / Docs
CI  /  Set the CI Pipeline Exit Status
8s
CI / Set the CI Pipeline Exit Status
CI  /  ...  /  Publish Docs to GitHub Pages
11s
CI / Deploy Docs / Publish Docs to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
exitstatus-Deploy-Docs-GH-Pages Expired
164 Bytes
html-docs Expired
334 KB
runtests-Linux.log Expired
51.7 KB
runtests-Windows.log Expired
59.7 KB
runtests-macOS.log Expired
53.6 KB