CI

Merge pull request #225 from maximedenes/fix-distrib-redirects #17

Sign in to view logs

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

Triggered via push October 2, 2023 11:31

maximedenes

master

Status Success

Total duration 4m 46s

Artifacts –

ci.yml

on: push

https://coq.github.io/