CI · JasonGross/coq-tools@2d4d6b9

Triggered via schedule October 19, 2023 00:57

JasonGross

master

Status Success

Total duration 40m 13s

Artifacts –

ci.yml

on: schedule

Matrix: build

6 errors

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

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

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

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

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

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