Merge pull request #4141 from eggrobin/kummer · mockingbirdnest/Principia@ab20f57

Triggered via push November 30, 2024 17:11

eggrobin

master

Status Failure

Total duration 1d 7h 37m 8s

Artifacts 1

build.yaml

on: push

Matrix: build

1 error

This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.

Produced during runtime

Name	Size
principia_Release-2024110113-Kronecker-13-gab20f57d95403041917a78cf8a034cecc70409d1	32.4 MB