Skip to content
This repository has been archived by the owner on Jan 10, 2024. It is now read-only.

Fix the build #1484

Merged
merged 1 commit into from
Jul 20, 2022
Merged

Fix the build #1484

merged 1 commit into from
Jul 20, 2022

Conversation

CommanderStorm
Copy link
Member

Issue

This PR fixes the Build.. Again

@kordianbruck or @joschahenningsen can we enable merge restrictions to only allow PRs with green checkmarks to be merged?

@CommanderStorm CommanderStorm self-assigned this Jul 20, 2022
@joschahenningsen
Copy link
Member

can we enable merge restrictions to only allow PRs with green checkmarks to be merged?

Sounds like a good idea (provided the checks reliably pass)

@Bentipa
Copy link
Member

Bentipa commented Jul 20, 2022

Agree. Let's make that a must. I guess if they do not run reliable they need to be adapted to do so

@CommanderStorm CommanderStorm merged commit 93b2d72 into master Jul 20, 2022
@CommanderStorm CommanderStorm deleted the fixed-build branch July 20, 2022 16:46
tobiasjungmann pushed a commit that referenced this pull request Feb 2, 2023
added base structure and first spinner version

added rating structure

added rating list items

extended new rating layout

added recycler views for tag ratings

improved spacing and orientation of elements

started add ing view fragment

showing single ratings in listview

colorful list rating items

improved color scheme

removed unnecessary ui elements

added prove of concept camera

ui simplification create rating

prepared listitem in cafeteria overview

moved cafeteria in shared fragment
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants