Skip to content
This repository has been archived by the owner on Oct 3, 2024. It is now read-only.

Actions: ocurrent/opam-ci-check

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add note about repository merged into opam-repo-ci Deploy odoc to GitHub Pages #12: Commit 2f0cf27 pushed by github-merge-queue bot
October 3, 2024 11:23 3m 6s main
main
October 3, 2024 11:23 3m 6s
Fix lower bound compat with Cmdliner 1.1.1 Deploy odoc to GitHub Pages #11: Commit c6f883f pushed by github-merge-queue bot
September 30, 2024 10:40 2m 33s main
main
September 30, 2024 10:40 2m 33s
Fix opam-lint warning about synopsis ending with a dot Deploy odoc to GitHub Pages #10: Commit ff5f4c5 pushed by github-merge-queue bot
September 25, 2024 19:56 6m 21s main
main
September 25, 2024 19:56 6m 21s
Use random ints as suffix for temporary file names Deploy odoc to GitHub Pages #9: Commit b00f2e0 pushed by github-merge-queue bot
September 17, 2024 17:25 2m 51s main
main
September 17, 2024 17:25 2m 51s
Add SPDX license notice to code files Deploy odoc to GitHub Pages #8: Commit 43e9630 pushed by github-merge-queue bot
September 16, 2024 07:09 6m 18s main
main
September 16, 2024 07:09 6m 18s
Add missing license field in opam file Deploy odoc to GitHub Pages #7: Commit e91afc6 pushed by github-merge-queue bot
September 6, 2024 16:40 2m 29s main
main
September 6, 2024 16:40 2m 29s
Differentiate between missing dune dependency vs lower bound Deploy odoc to GitHub Pages #6: Commit 8af2b49 pushed by github-merge-queue bot
September 4, 2024 06:13 3m 11s main
main
September 4, 2024 06:13 3m 11s
Add Apache 2.0 License Deploy odoc to GitHub Pages #5: Commit 9fe59d2 pushed by github-merge-queue bot
September 4, 2024 06:07 6m 41s main
main
September 4, 2024 06:07 6m 41s
Fill in package metadata Deploy odoc to GitHub Pages #4: Commit d1b8979 pushed by github-merge-queue bot
August 30, 2024 04:31 2m 46s main
main
August 30, 2024 04:31 2m 46s
Check that default, example tags have been removed Deploy odoc to GitHub Pages #3: Commit ba2e964 pushed by github-merge-queue bot
August 30, 2024 04:30 46s main
main
August 30, 2024 04:30 46s
Add terminating newline when printing errors Deploy odoc to GitHub Pages #2: Commit b69e1ef pushed by github-merge-queue bot
August 29, 2024 15:12 2m 34s main
main
August 29, 2024 15:12 2m 34s
Add GitHub action to update docs on pushes to main Deploy odoc to GitHub Pages #1: Commit 94890d5 pushed by punchagan
August 29, 2024 03:58 6m 18s main
main
August 29, 2024 03:58 6m 18s
pages build and deployment pages-build-deployment #2: by punchagan
August 28, 2024 08:18 39s gh-pages
gh-pages
August 28, 2024 08:18 39s
pages build and deployment pages-build-deployment #1: by punchagan
August 27, 2024 12:24 38s docs
docs
August 27, 2024 12:24 38s