Skip to content

Actions: rzk-lang/rzk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,164 workflow runs
1,164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support some Unicode syntax GHCJS (build and deploy Rzk playground) #128: Pull request #61 opened by fizruk
July 4, 2023 13:10 8m 24s unicode-syntax
unicode-syntax
July 4, 2023 13:10 8m 24s
pages build and deployment pages-build-deployment #155: by github-pages bot
July 4, 2023 09:37 1m 29s
July 4, 2023 09:37 1m 29s
Merge pull request #60 from deemp/develop GHCJS (build and deploy Rzk playground) #127: Commit 426f5c8 pushed by fizruk
July 4, 2023 09:24 17m 45s develop
develop
July 4, 2023 09:24 17m 45s
pages build and deployment pages-build-deployment #154: by github-pages bot
June 30, 2023 14:42 1m 32s
June 30, 2023 14:42 1m 32s
Tiny fix in docs MKDocs #70: Commit 7cc7f38 pushed by fizruk
June 30, 2023 14:41 43s develop
develop
June 30, 2023 14:41 43s
pages build and deployment pages-build-deployment #153: by github-pages bot
June 29, 2023 23:59 2m 26s
June 29, 2023 23:59 2m 26s
Update documentation MKDocs #69: Commit 07b520a pushed by fizruk
June 29, 2023 23:59 41s develop
develop
June 29, 2023 23:59 41s
pages build and deployment pages-build-deployment #152: by github-pages bot
June 29, 2023 21:16 1m 22s
June 29, 2023 21:16 1m 22s
Add search in docs MKDocs #68: Commit 1f3b9d4 pushed by fizruk
June 29, 2023 21:15 44s develop
develop
June 29, 2023 21:15 44s
pages build and deployment pages-build-deployment #151: by github-pages bot
June 29, 2023 21:05 1m 21s
June 29, 2023 21:05 1m 21s
Update yoneda.md MKDocs #67: Commit 623f3d9 pushed by fizruk
June 29, 2023 21:04 1m 1s develop
develop
June 29, 2023 21:04 1m 1s
pages build and deployment pages-build-deployment #150: by github-pages bot
June 29, 2023 16:38 1m 27s
June 29, 2023 16:38 1m 27s
pages build and deployment pages-build-deployment #149: by github-pages bot
June 29, 2023 16:35 2m 16s
June 29, 2023 16:35 2m 16s
pages build and deployment pages-build-deployment #148: by github-pages bot
June 29, 2023 16:30 1m 34s
June 29, 2023 16:30 1m 34s
Use pygments-rzk from PyPI GHCJS (build and deploy Rzk playground) #126: Commit 2620c74 pushed by fizruk
June 29, 2023 16:30 8m 1s develop
develop
June 29, 2023 16:30 8m 1s
Use pygments-rzk from PyPI MKDocs #66: Commit 2620c74 pushed by fizruk
June 29, 2023 16:30 41s develop
develop
June 29, 2023 16:30 41s
Use pygments-rzk from PyPI MKDocs #65: Commit 1c04b45 pushed by fizruk
June 29, 2023 16:27 30s develop
develop
June 29, 2023 16:27 30s
Use pygments-rzk from PyPI GHCJS (build and deploy Rzk playground) #125: Commit 1c04b45 pushed by fizruk
June 29, 2023 16:27 8m 58s develop
develop
June 29, 2023 16:27 8m 58s
pages build and deployment pages-build-deployment #147: by github-pages bot
June 29, 2023 12:43 1m 28s
June 29, 2023 12:43 1m 28s
Add Publishing with MkDocs to navigation MKDocs #64: Commit 8a1e0dd pushed by fizruk
June 29, 2023 12:42 50s develop
develop
June 29, 2023 12:42 50s
pages build and deployment pages-build-deployment #146: by github-pages bot
June 29, 2023 11:48 1m 24s
June 29, 2023 11:48 1m 24s
pages build and deployment pages-build-deployment #145: by github-pages bot
June 29, 2023 11:47 1m 8s
June 29, 2023 11:47 1m 8s
pages build and deployment pages-build-deployment #144: by github-pages bot
June 29, 2023 11:47 34s
June 29, 2023 11:47 34s
Update aliases when deploying docs with mike MKDocs #63: Commit 28bb9b0 pushed by fizruk
June 29, 2023 11:46 41s develop
develop
June 29, 2023 11:46 41s
pages build and deployment pages-build-deployment #143: by github-pages bot
June 29, 2023 11:45 1m 20s
June 29, 2023 11:45 1m 20s
ProTip! You can narrow down the results and go further in time using created:<2023-06-29 or the other filters available.