CI

Merge pull request #2876 from ccyip/coq-idt.1.2.0 #489

Sign in to view logs

Summary
Jobs
- build
- deploy
Run details
- Usage
- Workflow file

Triggered via push December 27, 2023 09:27

palmskog

master

Status Success

Total duration 3m 0s

Artifacts –

ci.yml

on: push