From 96fc9512a7de94192a1d61877c166326b8bfb8a8 Mon Sep 17 00:00:00 2001 From: William Wolff Date: Thu, 22 May 2025 10:02:55 +0200 Subject: [PATCH 1/2] docs: added base module description --- formal-spec/Leios/Base.agda | 3 +++ 1 file changed, 3 insertions(+) diff --git a/formal-spec/Leios/Base.agda b/formal-spec/Leios/Base.agda index 74ad230..a336c44 100644 --- a/formal-spec/Leios/Base.agda +++ b/formal-spec/Leios/Base.agda @@ -1,5 +1,8 @@ {-# OPTIONS --safe #-} +-- | The Base module defines core components for the base layer of Leios protocol. +-- | It includes stake distribution, ranking blocks, and base layer abstractions. + open import Leios.Prelude open import Leios.Abstract open import Leios.VRF From 038a63973f4a194aef5cf20ddc6bb556300a49cd Mon Sep 17 00:00:00 2001 From: William Wolff Date: Thu, 22 May 2025 10:06:25 +0200 Subject: [PATCH 2/2] git: rename workflow --- .github/workflows/formal-spec.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/formal-spec.yaml b/.github/workflows/formal-spec.yaml index deec227..7a14e2a 100644 --- a/.github/workflows/formal-spec.yaml +++ b/.github/workflows/formal-spec.yaml @@ -68,7 +68,7 @@ jobs: /tmp/nixcache" formal-spec-html: - name: "Generate HTML" + name: "Generate Web Documentation" needs: formal-spec-typecheck runs-on: ubuntu-22.04 outputs: