GitHub Pages

Feature: Migrate profile files from xml to json #1987

Sign in to view logs

Triggered via pull request January 5, 2026 01:22

synchronize #3299

feature/json-profiles

Status Cancelled

Total duration 16s

Artifacts –

deploy_website.yml

on: pull_request

Build and Deploy Website

Annotations

1 error

Build and Deploy Website

Canceling since a higher priority waiting request for GitHub Pages-refs/pull/3299/merge exists