refactor: rename Build.link to Build.url

leanprover · Dec 6, 2023 · b4b4220 · b4b4220
1 parent d329f68
commit b4b4220
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/site/components/BuildOutcome.vue b/site/components/BuildOutcome.vue
@@ -32,7 +32,7 @@ const outcomeClass = computed(() => {
 
 <template>
 <Tippy class="build-outcome">
-  <NuxtLink v-if="build.link" :to="build.link">
+  <NuxtLink v-if="build.url" :to="build.url">
     <div class="build-outcome-icon" :class="[outcomeClass]">
       <component width="66%" height="66%" :is="outcomeIcon"/>
     </div>

diff --git a/site/utils/manifest.ts b/site/utils/manifest.ts
@@ -17,7 +17,7 @@ export interface GitHubSource extends GitSource, RepoSource {
 export type Source = GitHubSource
 
 export interface Build {
-  link?: string
+  url?: string
   builtAt: string
   toolchain: string
   outcome: string

diff --git a/testbed-collect.py b/testbed-collect.py
@@ -59,7 +59,7 @@ def find_build_job(repo: str) -> Job:
   for entry in matrix:
     jobId = find_build_job(entry['fullName'])['id']
     result = {
-      'link': f"https://github.com/{TESTBED_REPO}/actions/runs/{args.run_id}/job/{jobId}#step:5:1",
+      'url': f"https://github.com/{TESTBED_REPO}/actions/runs/{args.run_id}/job/{jobId}#step:5:1",
       'builtAt': datetime.utcnow().strftime("%Y-%m-%dT%H:%M:%SZ"),
       'toolchain': entry['toolchain'],
     }