odoc

cleanup: update README and Makefile for 1.0 (#15) #44

Triggered via push January 8, 2024 17:28

zshipko

main

Status Success

Total duration 9m 37s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	920 KB