Skip to content

Actions: mbarbin/bopkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
241 workflow runs
241 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Moved visa-debugger into a standalone project deploy-doc #60: Commit b7f58db pushed by mbarbin
May 4, 2024 10:16 1m 40s main
main
May 4, 2024 10:16 1m 40s
Moved visa-debugger into a standalone project ci #103: Commit b7f58db pushed by mbarbin
May 4, 2024 10:16 9m 5s main
main
May 4, 2024 10:16 9m 5s
pages build and deployment pages-build-deployment #52: by github-pages bot
April 30, 2024 12:52 28s gh-pages
gh-pages
April 30, 2024 12:52 28s
Upgrade ocamlformat to 0.26.2 ci #102: Commit 1bba487 pushed by mbarbin
April 30, 2024 12:50 12m 42s main
main
April 30, 2024 12:50 12m 42s
Upgrade ocamlformat to 0.26.2 deploy-doc #59: Commit 1bba487 pushed by mbarbin
April 30, 2024 12:50 1m 54s main
main
April 30, 2024 12:50 1m 54s
pages build and deployment pages-build-deployment #51: by github-pages bot
April 10, 2024 12:15 31s gh-pages
gh-pages
April 10, 2024 12:15 31s
Fmt ci #101: Commit a7e456f pushed by mbarbin
April 10, 2024 12:13 10m 35s main
main
April 10, 2024 12:13 10m 35s
Fmt deploy-doc #58: Commit a7e456f pushed by mbarbin
April 10, 2024 12:13 1m 53s main
main
April 10, 2024 12:13 1m 53s
Check for uncommitted changes after running the tests test-deploy-doc #14: Pull request #9 synchronize by mbarbin
April 6, 2024 11:25 1m 33s check-for-uncommitted-changes
check-for-uncommitted-changes
April 6, 2024 11:25 1m 33s
Check for uncommitted changes after running the tests ci #100: Pull request #9 synchronize by mbarbin
April 6, 2024 11:25 9m 48s check-for-uncommitted-changes
check-for-uncommitted-changes
April 6, 2024 11:25 9m 48s
Revert "Spurious commit that makes rule generation unstable" ci #99: Commit bc96a34 pushed by mbarbin
April 6, 2024 11:25 10m 10s check-for-uncommitted-changes
check-for-uncommitted-changes
April 6, 2024 11:25 10m 10s
Check for uncommitted changes after running the tests ci #98: Pull request #9 synchronize by mbarbin
April 6, 2024 11:09 7m 10s check-for-uncommitted-changes
check-for-uncommitted-changes
April 6, 2024 11:09 7m 10s
Check for uncommitted changes after running the tests test-deploy-doc #13: Pull request #9 synchronize by mbarbin
April 6, 2024 11:09 1m 34s check-for-uncommitted-changes
check-for-uncommitted-changes
April 6, 2024 11:09 1m 34s
Spurious commit that makes rule generation unstable ci #97: Commit 84f51c8 pushed by mbarbin
April 6, 2024 11:09 7m 1s check-for-uncommitted-changes
check-for-uncommitted-changes
April 6, 2024 11:09 7m 1s
Check for uncommitted changes after running the tests ci #96: Pull request #9 synchronize by mbarbin
April 5, 2024 14:45 10m 36s check-for-uncommitted-changes
check-for-uncommitted-changes
April 5, 2024 14:45 10m 36s
Check for uncommitted changes after running the tests test-deploy-doc #12: Pull request #9 synchronize by mbarbin
April 5, 2024 14:45 1m 36s check-for-uncommitted-changes
check-for-uncommitted-changes
April 5, 2024 14:45 1m 36s
Revert "Spurious commit that makes rule generation unstable" ci #95: Commit 133607e pushed by mbarbin
April 5, 2024 14:45 10m 25s check-for-uncommitted-changes
check-for-uncommitted-changes
April 5, 2024 14:45 10m 25s
Check for uncommitted changes after running the tests ci #94: Pull request #9 synchronize by mbarbin
April 5, 2024 14:34 7m 29s check-for-uncommitted-changes
check-for-uncommitted-changes
April 5, 2024 14:34 7m 29s
Check for uncommitted changes after running the tests test-deploy-doc #11: Pull request #9 synchronize by mbarbin
April 5, 2024 14:34 1m 50s check-for-uncommitted-changes
check-for-uncommitted-changes
April 5, 2024 14:34 1m 50s
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