Skip to content

Merge pull request #11 from wuunder/improve/rename-map-functions #19

Merge pull request #11 from wuunder/improve/rename-map-functions

Merge pull request #11 from wuunder/improve/rename-map-functions #19

Triggered via push October 24, 2024 08:35
Status Cancelled
Total duration 2m 3s
Billable time 4m
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Run tests
Canceling since a higher priority waiting request for 'Test and build-refs/heads/main' exists
Run tests
The operation was canceled.
Run Dialyzer
Canceling since a higher priority waiting request for 'Test and build-refs/heads/main' exists
Run Dialyzer
The operation was canceled.