Merge pull request 'fix ci' (#428) from fix-ci into main
All checks were successful
CI/CD Pipeline / test (push) Successful in 13m30s
CI/CD Pipeline / deploy-staging (push) Has been skipped
CI/CD Pipeline / deploy-main (push) Successful in 7m30s

Reviewed-on: #428
This commit is contained in:
philipp 2024-04-24 07:21:34 +02:00
commit 982bb3b5c8

View File

@ -15,7 +15,7 @@ use crate::{
boat::Boat, boat::Boat,
boatreservation::{BoatReservation, BoatReservationToAdd}, boatreservation::{BoatReservation, BoatReservationToAdd},
log::Log, log::Log,
user::{DonauLinzUser, User, UserWithRoles}, user::{DonauLinzUser, User, UserWithRolesAndNotificationCount},
}, },
tera::log::KioskCookie, tera::log::KioskCookie,
}; };