Skip to content
Snippets Groups Projects
Select Git revision
  • main default protected
  • 75389691-a67c-422a-91e9-aa58bfb5-main-patch-32205
  • test-pipe
  • extended-scripts
  • structured-badges
  • guix-pipeline
  • cabal-pipeline
7 results

server

  • Clone with SSH
  • Clone with HTTPS
  • stuebinm's avatar
    stuebinm authored
    before this, the server would fetch updates but then not update the
    corresponding reference, leading to the initial state being checked out
    and linted again.
    f08c3dbf
    History
    Name Last commit Last update
    ..