Skip to content
Build & Test

Adding generic change_ring() method and some other touchups. #204

Sign in to view logs

Adding generic change_ring() method and some other touchups.

Adding generic change_ring() method and some other touchups. #204

Triggered via push October 17, 2023 01:18
@tscrimtscrim
pushed ee711b9
rings/ideals/generic_change_ring
Status Cancelled
Total duration 12m 37s
Artifacts –

build.yml

on: push
build
12m 20s
build
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
build
Canceling since a higher priority waiting request for 'Build & Test-refs/heads/rings/ideals/generic_change_ring' exists
build
The operation was canceled.
build
Runner GitHub Actions 3 did not respond to a cancelation request with 00:05:00.