Skip to content

Replace deprecated lemmas #13

Replace deprecated lemmas

Replace deprecated lemmas #13

Triggered via push June 28, 2024 15:28
Status Success
Total duration 2m 51s
Artifacts

flake-build.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
Failed to remove 'http.https://github.com/.extraheader' from the git config