mirrors/tendermint
1
0
Fork 0
mirror of https://github.com/tendermint/tendermint.git synced 2026-02-04 11:02:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix comment

Browse Source
This commit is contained in:
marbar3778
2022-04-08 15:49:11 +02:00
parent 5119d16d5c
commit 9089b2aed5
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
.github/workflows/docs.yaml vendored
View File

@@ -1,6 +1,5 @@
name: Documentation
# This workflow clones the tendermint/tendermint repository, builds its static
# documentation, and publishes the results to GitHub Pages.
# This workflow builds the static documentation site, and publishes the results to GitHub Pages.
# It runs on every push to the main branch, with changes in the docs and spec directories
on:
workflow_dispatch: # allow manual updates