Skip to content
CI

Merge pull request #119 from PaulRBerg/refactor/ownership-redesign #281

Sign in to view logs

Merge pull request #119 from PaulRBerg/refactor/ownership-redesign

Merge pull request #119 from PaulRBerg/refactor/ownership-redesign #281

Triggered via push June 28, 2023 18:50
@PaulRBergPaulRBerg
pushed c4fc47b
main
Status Cancelled
Total duration 23s
Artifacts –

ci.yml

on: push
lint
12s
lint
build
11s
build
test
0s
test
coverage
0s
coverage
slither
0s
slither
Fit to window
Zoom out
Zoom in

Annotations

4 errors
build
Canceling since a higher priority waiting request for 'CI-refs/heads/main' exists
build
The operation was canceled.
lint
Canceling since a higher priority waiting request for 'CI-refs/heads/main' exists
lint
The operation was canceled.