Skip to content

Actions: Khady/ocaml-junit

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
208 workflow runs
208 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: remove automatic doc deployment
Lint #10: Commit ec0a6a7 pushed by Khady
December 23, 2023 10:51 3m 39s master
December 23, 2023 10:51 3m 39s
pages build and deployment
pages-build-deployment #1: by Khady
December 23, 2023 10:51 2m 4s gh-pages
December 23, 2023 10:51 2m 4s
readme: adjust installation instructions
Lint #9: Commit d17d2e2 pushed by Khady
December 23, 2023 10:49 5m 16s master
December 23, 2023 10:49 5m 16s
readme: adjust installation instructions
Build and Test #9: Commit d17d2e2 pushed by Khady
December 23, 2023 10:49 14m 22s master
December 23, 2023 10:49 14m 22s
readme: adjust installation instructions
Opam Dependency Submission #9: Commit d17d2e2 pushed by Khady
December 23, 2023 10:49 4m 30s master
December 23, 2023 10:49 4m 30s
readme: adjust installation instructions
Deploy odoc to GitHub Pages #4: Commit d17d2e2 pushed by Khady
December 23, 2023 10:49 4m 46s master
December 23, 2023 10:49 4m 46s
Merge pull request #5 from Khady/dependabot/github_actions/actions/de…
Opam Dependency Submission #8: Commit 6cc9ac9 pushed by Khady
December 23, 2023 10:44 8m 16s master
December 23, 2023 10:44 8m 16s
December 23, 2023 10:44 9m 8s
Merge pull request #5 from Khady/dependabot/github_actions/actions/de…
Deploy odoc to GitHub Pages #3: Commit 6cc9ac9 pushed by Khady
December 23, 2023 10:44 4m 53s master
December 23, 2023 10:44 4m 53s
Merge pull request #5 from Khady/dependabot/github_actions/actions/de…
Build and Test #8: Commit 6cc9ac9 pushed by Khady
December 23, 2023 10:44 17m 54s master
December 23, 2023 10:44 17m 54s
December 23, 2023 10:44 8m 35s
Merge pull request #6 from Khady/dependabot/github_actions/actions/up…
Build and Test #7: Commit 551481d pushed by Khady
December 23, 2023 10:44 15m 15s master
December 23, 2023 10:44 15m 15s
Merge pull request #6 from Khady/dependabot/github_actions/actions/up…
Deploy odoc to GitHub Pages #2: Commit 551481d pushed by Khady
December 23, 2023 10:44 16s master
December 23, 2023 10:44 16s
Merge pull request #6 from Khady/dependabot/github_actions/actions/up…
Opam Dependency Submission #7: Commit 551481d pushed by Khady
December 23, 2023 10:44 7m 42s master
December 23, 2023 10:44 7m 42s
ci: adjust deploy doc branch
Build and Test #6: Commit ded0fa1 pushed by Khady
December 23, 2023 10:43 17m 43s master
December 23, 2023 10:43 17m 43s
ci: adjust deploy doc branch
Opam Dependency Submission #6: Commit ded0fa1 pushed by Khady
December 23, 2023 10:43 7m 53s master
December 23, 2023 10:43 7m 53s
ci: adjust deploy doc branch
Deploy odoc to GitHub Pages #1: Commit ded0fa1 pushed by Khady
December 23, 2023 10:43 55s master
December 23, 2023 10:43 55s
ci: adjust deploy doc branch
Lint #6: Commit ded0fa1 pushed by Khady
December 23, 2023 10:43 8m 29s master
December 23, 2023 10:43 8m 29s
Bump actions/deploy-pages from 3 to 4
Opam Dependency Submission #4: Pull request #5 opened by dependabot bot
December 23, 2023 10:42 7m 19s dependabot/github_actions/actions/deploy-pages-4
December 23, 2023 10:42 7m 19s