Skip to content

Merge branch 'Neved4-github-theme' #44

Merge branch 'Neved4-github-theme'

Merge branch 'Neved4-github-theme' #44

Triggered via push October 17, 2023 12:04
Status Success
Total duration 6m 5s
Artifacts

build_nix.yml

on: push
Fit to window
Zoom out
Zoom in