CI · JasonGross/coq-tools@2d4d6b9

Triggered via schedule October 10, 2023 00:57

JasonGross

master

Status Success

Total duration 46m 22s

Artifacts –

ci.yml

on: schedule

Matrix: build

6 errors

You are using pip version 20.3.4, however version 23.2.1 is available. You should consider upgrading via the 'pip install --upgrade pip' command.

You are using pip version 20.3.4, however version 23.2.1 is available. You should consider upgrading via the 'pip install --upgrade pip' command.

You are using pip version 20.3.4, however version 23.2.1 is available. You should consider upgrading via the 'pip install --upgrade pip' command.

You are using pip version 20.3.4, however version 23.2.1 is available. You should consider upgrading via the 'pip install --upgrade pip' command.

You are using pip version 20.3.4, however version 23.2.1 is available. You should consider upgrading via the 'pip install --upgrade pip' command.

You are using pip version 20.3.4, however version 23.2.1 is available. You should consider upgrading via the 'pip install --upgrade pip' command.