Skip to content

Rename docs dir singular #563

Rename docs dir singular

Rename docs dir singular #563

Triggered via pull request October 12, 2023 11:13
Status Success
Total duration 1m 43s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: pull_request
mobc  /  Build as C++ for linux32
36s
mobc / Build as C++ for linux32
mobc  /  Build for Win32 by MSVC
55s
mobc / Build for Win32 by MSVC
mobc  /  Build as C++ for Win32 by MSVC++
1m 26s
mobc / Build as C++ for Win32 by MSVC++
subobc  /  Build as C++ for linux32
32s
subobc / Build as C++ for linux32
subobc  /  Build for Win32 by MSVC
1m 17s
subobc / Build for Win32 by MSVC
subobc  /  Build as C++ for Win32 by MSVC++
1m 23s
subobc / Build as C++ for Win32 by MSVC++
Matrix: mobc / Build for linux32
Matrix: subobc / Build for linux32
Fit to window
Zoom out
Zoom in