push @if(permissions.push) {
✅
} else {
❌
Push permission is needed for writing comments and setting labels!
}
}
Config files
@if(!proutPresenceQuickCheck) {
❌
Quick check for @ProutConfigFileName failed!
@if(repoSnapshot.config.configByFolder.nonEmpty) {
GitHub seems to be returning data different to the Git repo itself...
}
}
@configLink(folder) @configInFolder.asOpt match {
case None => {
❌
}
case Some(validConfig) => {
✅
Checkpoints
@for(checkpoint <- validConfig.checkpointSet) {
@checkpoint.name - @checkpoint.details.url
@for(snapshot <- diagnostic.snapshotsByCheckpoint.get(checkpoint)) {
@snapshot.commitIdTry match {
case Success(idOpt) => {
@idOpt match {
case Some(commitId) => {
Commit Id found : @showCommit(commitId)
}
case None => {
❌ No commit id found
}
}
}
case Failure(error) => {
❌ Could not read from this url, got @error
}
}
@snapshot.checkpoint.details.messages.map { messages =>
Custom messages:
@e.snapshot.checkpoint.name
- @e.checkpointStatus,
@e.commitVisibility match {
case Some(cv) => {
@if(cv.seen.nonEmpty) {
@showCommits(cv.seen) is deployed
} else {
@showCommits(cv.unseen) not yet seen
}
}
case None => {
could not check commit visibility
}
}