Skip to content
Build & Test

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

Sign in to view logs

Adding generic change_ring() method and some other touchups.

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

Triggered via push October 17, 2023 01:15
@tscrimtscrim
pushed a5fbbdb
rings/ideals/generic_change_ring
Status Cancelled
Total duration 3m 21s
Artifacts –

build.yml

on: push
build
3m 8s
build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
Canceling since a higher priority waiting request for 'Build & Test-refs/heads/rings/ideals/generic_change_ring' exists
build
The operation was canceled.