CI

Fix python venv inside docker-coq-action container #18

Sign in to view logs

Triggered via pull request July 30, 2024 14:04

sanjit-bhat

synchronize #85

fix-py-venv

Status Failure

Total duration 1m 48s

Artifacts –

ci.yml

on: pull_request

Matrix: build-vos

Matrix: build