Python checks · ci.yaml · mbesko/Core_Logic_Model

/

/

Core_Logic_Model

Обзор ДокументацияВойти

/

/

Core_Logic_Model

Аналитика

Безопасность

Add product proof terms and homework sequents

mbesko

Коммит: f6bae29

Файл конфигурации: ci.yaml

#991986

Задания

Python checks

Ошибка: 39 с

Ожидание:12 с

Облачный:gv02-runner01

Версия:5.3.0

Показывать время

Set up job6 с

Checkout repository2 с

Set up Python29 с

Run local CI checks2 с

Complete job1 с

Все инструменты для разработки на одной платформе

Для полного доступа зарегистрируйтесь или авторизуйтесь на GitVerse