CI · JasonGross/coq-tools@2d4d6b9

Triggered via schedule October 15, 2023 01:02

JasonGross

master

Status Success

Total duration 41m 14s

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.