Skip to content

Merge branch 'dev' of github.com:frate-dev/frate into dev #209

Merge branch 'dev' of github.com:frate-dev/frate into dev

Merge branch 'dev' of github.com:frate-dev/frate into dev #209

Triggered via push December 10, 2023 04:46
Status Success
Total duration 2m 13s
Artifacts

dev.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
build
no submodule mapping found in .gitmodules for path 'build'
build
Unable to clean or reset the repository. The repository will be recreated instead.
build
The process '/usr/bin/git' failed with exit code 128