Skip to content
CI

Merge pull request #2836 from MSoegtropIMC/relax-coq-restrictions-2 #399

Sign in to view logs

Merge pull request #2836 from MSoegtropIMC/relax-coq-restrictions-2

Merge pull request #2836 from MSoegtropIMC/relax-coq-restrictions-2 #399

Triggered via push November 15, 2023 13:24
@palmskogpalmskog
pushed 80dd9c5
master
Status Success
Total duration 5m 9s
Artifacts –

ci.yml

on: push
build
4m 43s
build
deploy
8s
deploy
Fit to window
Zoom out
Zoom in