Release v2.4.1+0.2.2+8.19 · JetBrains-Research/coqpilot@d07eaf0

Triggered via pull request November 27, 2024 11:42

K-dizzled

synchronize #51

v2.4.0-dev

Status Success

Total duration 8m 5s

Artifacts 1

build-and-test.yml

on: pull_request

Matrix: build-and-test

Matrix: Start a CI debug session if build or test fail

Produced during runtime

Name	Size	Digest
ubuntu-latest-build Expired	27.4 MB	`sha256:775418ad0d495f08fc58b5ff7eabd030a9b5d19f7b77f70f1014b9d1279b1eaf`