Skip to content
CI

chore: update devenv configuration and project naming #34

Sign in to view logs

chore: update devenv configuration and project naming

chore: update devenv configuration and project naming #34

Triggered via push October 30, 2025 14:32
@gsmlggsmlg
pushed 4c7c101
develop
Status Success
Total duration 2m 36s
Artifacts –

ci.yml

on: push
Compile
40s
Compile
Format Check
18s
Format Check
Credo
40s
Credo
Dialyzer
2m 33s
Dialyzer
Fit to window
Zoom out
Zoom in