search

informatiCup / informatiCup2022

Abfahrt! Der InformatiCup 2022
22 stars 3 forks source link

Error: failed to clone repository: failed to determine commit ID #19

Closed lukas2701 closed 2 years ago

lukas2701 commented 2 years ago

Wir haben unseren Code (mit einer entsprechenden Dockerfile) auf unser Repository ci@ci.informaticup.de:/repo gepusht. Dennoch tritt in Teammates unter Team folgender Fehler auf: failed to clone repository: failed to determine commit ID

Nach ausführen von git log in der Branch main liegen jedoch commits vor.

bitflipp commented 2 years ago

Wie ist der Zeitstempel des Ergebnisses (abzulesen in Teammates)? Der Build-Vorgang wird zeitgesteuert angestoßen - ca. alle 24 Stunden, nicht bei jedem Push.

lukas2701 commented 2 years ago

@bitflipp Zeitstempel:

Start: 15.12.2021 18:07:16
Ende: 15.12.2021 18:07:16

Gepusht wurde das letzte mal auf jeden Fall vor 18:00 Uhr am 15.12.2021.

bitflipp commented 2 years ago

Beim Klonen tritt folgende Fehlermeldung auf:

warning: remote HEAD refers to nonexistent ref, unable to checkout.

Bitte versucht git push --mirror ci@ci.informaticup.de:/repo und postet die Ausgabe.

lukas2701 commented 2 years ago

@bitflipp Ausgabe:

Enumerating objects: 10, done. Counting objects: 100% (10/10), done. Delta compression using up to 4 threads Compressing objects: 100% (7/7), done. Writing objects: 100% (7/7), 1.04 KiB | 530.00 KiB/s, done. Total 7 (delta 4), reused 0 (delta 0), pack-reused 0 To ci.informaticup.de:/repo

bitflipp commented 2 years ago

Danke. Das CI geht (undokumentiert) davon aus, dass HEAD auf master zeigt. Wir werden das CI dahingehend erweitern, dass auch main akzeptiert (und sogar bevorzugt) wird und dies auch entsprechend dokumentieren.

bitflipp commented 2 years ago

Das CI arbeitet jetzt auf Branch main mit master als Fallback, s. auch README.