![[ICO]](/icons/blank.svg){kind=icon}
![[PARENTDIR]](/icons/back.svg){kind=icon}
![[DIR]](/icons/folder.svg){kind=icon}
![[ ]](/icons/unknown.svg){kind=icon}
![[ ]](/icons/layout.svg){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| workspace/ | 2023-11-16 17:09 | - | |
| files/ | 2023-08-15 10:32 | - | |
| tools/ | 2023-11-18 03:50 | - | |
| pipeline/ | 2023-09-11 12:28 | - | |
| env/ | 2023-08-06 15:11 | - | |
| Dockerfile | 2023-11-19 23:15 | 328 | |
| settings.json | 2023-10-03 06:22 | 493 | |
| nginx.conf | 2023-11-26 22:29 | 834 | |