Build and Test

UI/UX improvements #26

Sign in to view logs

Re-run triggered November 8, 2023 16:33

K-dizzled

#5

ui_improvements

Status Success

Total duration 12m 37s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

coqpilot.yml

on: pull_request

Matrix: build