informatiCup / informatiCup2022

Abfahrt! Der InformatiCup 2022
22 stars 3 forks source link

CI-System: No dockerfile found (ohne diese geändert zu haben) #32

Closed lukas2701 closed 2 years ago

lukas2701 commented 2 years ago

@Top-Ranger @bitflipp Das CI-System gibt den Error failed to build image: no Dockerfile an uns zurück. Wir haben das Repository natürlich geändert und gepusht usw., aber die dockerfile hingegen nicht angefasst. Zuvor hatten wir erfolgreiche Tests. Wie kann das sein? (Ich bin etwas verwirrt)

bitflipp commented 2 years ago

docker build akzeptiert undokumentiert (https://docs.docker.com/engine/reference/commandline/build/) auch dockerfile als Dockerfile-Standardname. Das CI jetzt auch. Euer Durchlauf wurde wiederholt.

lukas2701 commented 2 years ago

@bitflipp Darf ich fragen wieso das CI-System dann unsere dockerfile zuvor immer akzeptiert hat?

bitflipp commented 2 years ago

Eine heute veröffentlichte Logik prüft die Existenz der Dockerfile im Vorfeld. Bis dahin wurde lediglich der Inhalt einer existierenden Dockerfile den Details hinzugefügt (mit cat) und die Prüfung der Existenz docker build überlassen, mit dem Ergebnis einer schlecht lesbaren Fehlermeldung. Ihr werdet die Details-Sektion Dockerfile contents bemerken, die vorher nicht da war, obwohl ihr ein Dockerfile (oder vielmehr ein dockerfile :o)) hattet.