Skip to content
Docker CI

Fix sed commands on MacOS #266

Sign in to view logs

Fix sed commands on MacOS

Fix sed commands on MacOS #266

Triggered via pull request February 24, 2025 14:00
@proux01proux01
opened #98
proux01:fix-macos
Status Cancelled
Total duration 32s
Artifacts –

ci.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

14 errors
build (mathcomp/mathcomp:2.3.0-coq-8.20)
The run was canceled by @proux01.
build (mathcomp/mathcomp:2.3.0-coq-8.19)
The run was canceled by @proux01.
build (mathcomp/mathcomp:2.2.0-coq-8.18)
The run was canceled by @proux01.
build (mathcomp/mathcomp-dev:coq-8.20)
The run was canceled by @proux01.
build (mathcomp/mathcomp:2.3.0-coq-8.18)
The run was canceled by @proux01.
build (mathcomp/mathcomp-dev:coq-8.19)
The run was canceled by @proux01.
build (mathcomp/mathcomp:2.1.0-coq-8.18)
The run was canceled by @proux01.
build (mathcomp/mathcomp:2.1.0-coq-8.18)
The operation was canceled.
build (mathcomp/mathcomp:2.2.0-coq-8.20)
The run was canceled by @proux01.
build (mathcomp/mathcomp:2.2.0-coq-8.20)
The operation was canceled.
build (mathcomp/mathcomp:2.2.0-coq-8.19)
The run was canceled by @proux01.
build (mathcomp/mathcomp:2.2.0-coq-8.19)
The operation was canceled.
build (mathcomp/mathcomp:2.0.0-coq-8.18)
The run was canceled by @proux01.
build (mathcomp/mathcomp:2.0.0-coq-8.18)
The operation was canceled.