Skip to content
CI

few simp lemmas for ArrayType #283

Sign in to view logs

few simp lemmas for ArrayType

few simp lemmas for ArrayType #283

Triggered via push August 31, 2023 13:33
@lecopivolecopivo
pushed 148ec62
master
Status Cancelled
Total duration 11m 2s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

main.yml

on: push
build
10m 40s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
Canceling since a higher priority waiting request for 'pages' exists
build
The operation was canceled.