ddmt/gitdts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

rename builds -> bots

Browse Source
This commit is contained in:
Lunny Xiao
2022-11-21 16:18:12 +08:00
committed by Jason Song
parent c61ac24c1c
commit 2ecb59c092
24 changed files with 81 additions and 78 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
templates/repo/header.tmpl
View File

@@ -183,9 +183,9 @@
</a>
{{end}}
{{ if and (not .UnitBuildsGlobalDisabled) (.Permission.CanRead $.UnitTypeBuilds)}}
<a class="{{if .PageIsBuilds}}active{{end}} item" href="{{.RepoLink}}/builds">
{{svg "octicon-play"}} {{.locale.Tr "repo.builds"}}
{{ if and (not .UnitBotsGlobalDisabled) (.Permission.CanRead $.UnitTypeBots)}}
<a class="{{if .PageIsBots}}active{{end}} item" href="{{.RepoLink}}/bots">
{{svg "octicon-play"}} {{.locale.Tr "repo.bots"}}
{{if .Repository.NumOpenRuns}}
<span class="ui blue small label">{{CountFmt .Repository.NumOpenRuns}}</span>
{{end}}