Added the link to CEP to the extended abstract for CoqWorkshopITP24 #56

Triggered via push August 1, 2024 14:02

main

Status Success

Total duration 3m 16s

Artifacts 2

docker-action.yml

on: push

4 warnings

Command "Restart." is not recommended in batch mode. In particular,

Command "Restart." is not recommended in batch mode. In particular,

Command "Restart." is not recommended in batch mode. In particular,

Failed to remove 'http.https://github.com/.extraheader' from the git config

Produced during runtime

Name	Size
artifact Expired	58.3 MB
github-pages Expired	57 MB