CI · JasonGross/coq-tools@7562baf

Triggered via schedule July 20, 2023 00:48

JasonGross

master

Status Success

Total duration 42m 56s

Artifacts –

ci.yml

on: schedule

Matrix: build

6 errors

You are using pip version 20.3.4, however version 23.2 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 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 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 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 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 is available. You should consider upgrading via the 'pip install --upgrade pip' command.