Explorer-1: change edubeta to edu #1584

Sign in to view logs

Triggered via pull request November 5, 2024 23:00

synchronize #660

chore/change-edubeta-to-edu

Status Success

Total duration 57s

Artifacts –

lint.yml

on: pull_request

lint-and-check-format