CI · JasonGross/coq-tools@2d4d6b9

Triggered via schedule October 18, 2023 00:58

JasonGross

master

Status Success

Total duration 40m 42s

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.