Skip to content
Continuous Integration

Merge pull request #901 from typelevel/update/ciris-3.4.0 #652

Sign in to view logs

Merge pull request #901 from typelevel/update/ciris-3.4.0

Merge pull request #901 from typelevel/update/ciris-3.4.0 #652

Triggered via push November 5, 2023 13:53
@mpilquistmpilquist
pushed 5c97f83
main
Status Cancelled
Total duration 15s
Artifacts –

ci.yml

on: push
Matrix: Build and Test
Waiting for pending jobs
Matrix: Submit Dependencies
Waiting for pending jobs
Matrix: Make site
Waiting for pending jobs
Matrix: Publish Artifacts
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

1 error
Continuous Integration
Canceling since a higher priority waiting request for 'Continuous Integration @ refs/heads/main' exists