Skip to content
CI

Merge pull request #2888 from palmskog/coqprime-backward-compat #519

Sign in to view logs

Merge pull request #2888 from palmskog/coqprime-backward-compat

Merge pull request #2888 from palmskog/coqprime-backward-compat #519

Triggered via push January 7, 2024 19:23
@palmskogpalmskog
pushed ce99a1a
master
Status Success
Total duration 2m 55s
Artifacts –

ci.yml

on: push
build
2m 29s
build
deploy
9s
deploy
Fit to window
Zoom out
Zoom in