Skip to content

Actions: mbarbin/bopkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
281 workflow runs
281 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade ocamlformat to 0.27.0 ci #153: Commit 7d5414b pushed by mbarbin
December 3, 2024 18:43 7m 46s main
main
December 3, 2024 18:43 7m 46s
Upgrade ocamlformat to 0.27.0 deploy-doc #86: Commit 7d5414b pushed by mbarbin
December 3, 2024 18:43 2m 4s main
main
December 3, 2024 18:43 2m 4s
Do not use [Pp.of_fmt] (removed in 2.0.0) deploy-doc #85: Commit 80a787a pushed by mbarbin
December 2, 2024 14:18 2m 4s main
main
December 2, 2024 14:18 2m 4s
Do not use [Pp.of_fmt] (removed in 2.0.0) ci #152: Commit 80a787a pushed by mbarbin
December 2, 2024 14:18 11m 24s main
main
December 2, 2024 14:18 11m 24s
github_actions in /. - Update #924931548 Dependabot Updates #12: by dependabot bot
December 1, 2024 04:18 36s main
main
December 1, 2024 04:18 36s
Merge pull request #19 from mbarbin/pp-log ci #151: Commit fb6ec39 pushed by mbarbin
November 10, 2024 19:45 11m 23s main
main
November 10, 2024 19:45 11m 23s
Merge pull request #19 from mbarbin/pp-log deploy-doc #84: Commit fb6ec39 pushed by mbarbin
November 10, 2024 19:45 1m 55s main
main
November 10, 2024 19:45 1m 55s
Upgrade to pp-log ci #150: Pull request #19 opened by mbarbin
November 10, 2024 19:19 11m 32s pp-log
pp-log
November 10, 2024 19:19 11m 32s
Upgrade to pp-log test-deploy-doc #24: Pull request #19 opened by mbarbin
November 10, 2024 19:19 1m 41s pp-log
pp-log
November 10, 2024 19:19 1m 41s
github_actions in /. - Update #910026713 Dependabot Updates #11: by dependabot bot
November 1, 2024 04:21 35s main
main
November 1, 2024 04:21 35s
github_actions in /. - Update #893655404 Dependabot Updates #10: by dependabot bot
October 1, 2024 04:14 34s main
main
October 1, 2024 04:14 34s
Fix missing deps ci #149: Commit bcc8b80 pushed by mbarbin
September 29, 2024 14:06 7m 41s 0.3.2
0.3.2
September 29, 2024 14:06 7m 41s
Fix missing deps deploy-doc #83: Commit bcc8b80 pushed by mbarbin
September 29, 2024 14:04 2m 2s main
main
September 29, 2024 14:04 2m 2s
Fix missing deps ci #148: Commit bcc8b80 pushed by mbarbin
September 29, 2024 14:04 7m 44s main
main
September 29, 2024 14:04 7m 44s
Update dependencies deploy-doc #82: Commit 51145a2 pushed by mbarbin
September 29, 2024 13:46 1m 59s main
main
September 29, 2024 13:46 1m 59s
Update dependencies ci #147: Commit 51145a2 pushed by mbarbin
September 29, 2024 13:46 7m 46s main
main
September 29, 2024 13:46 7m 46s
Add maintainer email ci #146: Commit b73a404 pushed by mbarbin
September 29, 2024 10:02 7m 49s main
main
September 29, 2024 10:02 7m 49s
Add maintainer email deploy-doc #81: Commit b73a404 pushed by mbarbin
September 29, 2024 10:02 1m 54s main
main
September 29, 2024 10:02 1m 54s
github_actions in /. for peaceiris/actions-gh-pages - Update #888743874 Dependabot Updates #9: by dependabot bot
September 22, 2024 08:37 35s main
main
September 22, 2024 08:37 35s
Fix link to package-lock file ci #145: Commit 83b015b pushed by mbarbin
September 22, 2024 08:34 7m 26s main
main
September 22, 2024 08:34 7m 26s
Fix link to package-lock file deploy-doc #80: Commit 83b015b pushed by mbarbin
September 22, 2024 08:34 1m 50s main
main
September 22, 2024 08:34 1m 50s
Transition deploy doc from branch/gh-pages to builtin upload-pages-ar… deploy-doc #79: Commit 3a748e5 pushed by mbarbin
September 22, 2024 08:33 14s main
main
September 22, 2024 08:33 14s
Transition deploy doc from branch/gh-pages to builtin upload-pages-ar… ci #144: Commit 3a748e5 pushed by mbarbin
September 22, 2024 08:33 5m 29s main
main
September 22, 2024 08:33 5m 29s
pages build and deployment pages-build-deployment #64: by github-pages bot
September 20, 2024 13:25 24s gh-pages
gh-pages
September 20, 2024 13:25 24s
Merge pull request #17 from mbarbin/upgrade-doc deploy-doc #78: Commit 4e5f325 pushed by mbarbin
September 20, 2024 13:24 1m 46s main
main
September 20, 2024 13:24 1m 46s