Skip to content

Actions: mbarbin/bopkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
236 workflow runs
236 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Spurious commit that makes rule generation unstable ci #93: Commit 3fe8fe0 pushed by mbarbin
April 5, 2024 14:34 7m 5s check-for-uncommitted-changes
check-for-uncommitted-changes
April 5, 2024 14:34 7m 5s
Check for uncommitted changes after running the tests ci #92: Pull request #9 opened by mbarbin
April 5, 2024 14:20 10m 34s check-for-uncommitted-changes
check-for-uncommitted-changes
April 5, 2024 14:20 10m 34s
Check for uncommitted changes after running the tests test-deploy-doc #10: Pull request #9 opened by mbarbin
April 5, 2024 14:20 1m 47s check-for-uncommitted-changes
check-for-uncommitted-changes
April 5, 2024 14:20 1m 47s
Check for uncommitted changes after running the tests ci #91: Commit c3a8ca8 pushed by mbarbin
April 5, 2024 14:19 11m 1s check-for-uncommitted-changes
check-for-uncommitted-changes
April 5, 2024 14:19 11m 1s
pages build and deployment pages-build-deployment #50: by github-pages bot
April 5, 2024 10:12 38s gh-pages
gh-pages
April 5, 2024 10:12 38s
Upgrade auto-format to 0.0.7 (run instead of bash in rules) ci #90: Commit 8042c79 pushed by mbarbin
April 5, 2024 10:10 13m 49s main
main
April 5, 2024 10:10 13m 49s
Upgrade auto-format to 0.0.7 (run instead of bash in rules) deploy-doc #57: Commit 8042c79 pushed by mbarbin
April 5, 2024 10:10 1m 52s main
main
April 5, 2024 10:10 1m 52s
Improve dune rules ci #89: Pull request #8 synchronize by mbarbin
April 5, 2024 09:30 10m 16s improve-dune-rules
improve-dune-rules
April 5, 2024 09:30 10m 16s
Improve dune rules test-deploy-doc #9: Pull request #8 synchronize by mbarbin
April 5, 2024 09:30 1m 32s improve-dune-rules
improve-dune-rules
April 5, 2024 09:30 1m 32s
Upgrade auto-format to 0.0.7 (run instead of bash in rules) ci #88: Commit 8042c79 pushed by mbarbin
April 5, 2024 09:30 10m 20s improve-dune-rules
improve-dune-rules
April 5, 2024 09:30 10m 20s
Improve dune rules ci #87: Pull request #8 opened by mbarbin
April 4, 2024 13:45 15m 24s improve-dune-rules
improve-dune-rules
April 4, 2024 13:45 15m 24s
Improve dune rules test-deploy-doc #8: Pull request #8 opened by mbarbin
April 4, 2024 13:45 2m 41s improve-dune-rules
improve-dune-rules
April 4, 2024 13:45 2m 41s
Replace [bash] by dune's built-in [run] in rules ci #86: Commit e665814 pushed by mbarbin
April 4, 2024 13:43 13m 49s improve-dune-rules
improve-dune-rules
April 4, 2024 13:43 13m 49s
Prepare changelog ci #85: Commit 98214b3 pushed by mbarbin
March 16, 2024 16:40 10m 13s 0.2.7
0.2.7
March 16, 2024 16:40 10m 13s
pages build and deployment pages-build-deployment #49: by github-pages bot
March 13, 2024 08:57 22s gh-pages
gh-pages
March 13, 2024 08:57 22s
Prepare changelog ci #84: Commit 98214b3 pushed by mbarbin
March 13, 2024 08:55 10m 24s main
main
March 13, 2024 08:55 10m 24s
Prepare changelog deploy-doc #56: Commit 98214b3 pushed by mbarbin
March 13, 2024 08:55 1m 33s main
main
March 13, 2024 08:55 1m 33s
pages build and deployment pages-build-deployment #48: by github-pages bot
March 13, 2024 08:41 2m 26s gh-pages
gh-pages
March 13, 2024 08:41 2m 26s
Fix fpath-base actual version ci #83: Commit 93bdbba pushed by mbarbin
March 13, 2024 08:39 13m 40s main
main
March 13, 2024 08:39 13m 40s
Fix fpath-base actual version deploy-doc #55: Commit 93bdbba pushed by mbarbin
March 13, 2024 08:39 1m 49s main
main
March 13, 2024 08:39 1m 49s
pages build and deployment pages-build-deployment #47: by github-pages bot
March 3, 2024 21:24 49s gh-pages
gh-pages
March 3, 2024 21:24 49s
Fmt opam-repositories in CI and add mbarbin if missing deploy-doc #54: Commit 18e07ab pushed by mbarbin
March 3, 2024 21:22 1m 37s main
main
March 3, 2024 21:22 1m 37s
Fmt opam-repositories in CI and add mbarbin if missing ci #82: Commit 18e07ab pushed by mbarbin
March 3, 2024 21:22 10m 24s main
main
March 3, 2024 21:22 10m 24s
pages build and deployment pages-build-deployment #46: by github-pages bot
March 1, 2024 16:54 41s gh-pages
gh-pages
March 1, 2024 16:54 41s
Upgrade mdx to 2.4 deploy-doc #53: Commit cc154f4 pushed by mbarbin
March 1, 2024 16:52 1m 37s main
main
March 1, 2024 16:52 1m 37s