Skip to content

Actions: mbarbin/vcs

deploy-doc

Actions

Loading...
Loading

Create status badge

Loading
60 workflow runs
60 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Unify the synopsis case across
deploy-doc #10: Commit 0c48fc6 pushed by mbarbin
July 28, 2024 07:28 7m 29s main
July 28, 2024 07:28 7m 29s
Improve [Vcs.Tree.sexp_of_t] to help with debugging
deploy-doc #9: Commit bc3294f pushed by mbarbin
July 28, 2024 07:24 7m 33s main
July 28, 2024 07:24 7m 33s
Prepare changelog
deploy-doc #8: Commit 1577f18 pushed by mbarbin
July 26, 2024 09:16 8m 5s main
July 26, 2024 09:16 8m 5s
Enable DocSearch with Algolia
deploy-doc #7: Commit 536ca62 pushed by mbarbin
July 25, 2024 19:50 7m 30s main
July 25, 2024 19:50 7m 30s
Use new ppxlib flags to force activating unused items warnings
deploy-doc #6: Commit b005450 pushed by mbarbin
July 25, 2024 16:45 7m 39s main
July 25, 2024 16:45 7m 39s
Merge pull request #9 from mbarbin/git-cli-tests
deploy-doc #5: Commit 32d5ca9 pushed by mbarbin
July 25, 2024 07:28 7m 55s main
July 25, 2024 07:28 7m 55s
Merge pull request #8 from mbarbin/doc
deploy-doc #4: Commit c799565 pushed by mbarbin
July 24, 2024 16:04 7m 53s main
July 24, 2024 16:04 7m 53s
Remove former diagrams (replaced by mermaid)
deploy-doc #3: Commit 137036b pushed by mbarbin
July 24, 2024 09:42 6m 37s main
July 24, 2024 09:42 6m 37s
Use mermaid for the diagrams
deploy-doc #2: Commit b0b3d6f pushed by mbarbin
July 24, 2024 09:40 6m 53s main
July 24, 2024 09:40 6m 53s
Merge pull request #7 from mbarbin/docusaurus
deploy-doc #1: Commit 6688dcf pushed by mbarbin
July 24, 2024 09:05 6m 48s main
July 24, 2024 09:05 6m 48s