Skip to content

Actions: mbarbin/fpath-base

Actions

deploy-odoc

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-odoc.yml
49 workflow runs
49 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Upgrade deploy-pages (node 24 warning) deploy-odoc #49: Commit 2586593 pushed by mbarbin
2m 47s main
main
2m 47s
Upgrade CIs deploy-odoc #48: Commit a721940 pushed by mbarbin
7m 24s main
main
7m 24s
Avoid some odoc warning related to not finding Fpath deploy-odoc #47: Commit d6d0b16 pushed by mbarbin
2m 46s main
main
2m 46s
Merge pull request #32 from mbarbin/use-mdexp deploy-odoc #46: Commit b137572 pushed by mbarbin
1m 14s main
main
1m 14s
Apply fmt changes deploy-odoc #45: Commit 0042e38 pushed by mbarbin
4m 24s main
main
4m 24s
Merge branch 'move-stdlib-tests' deploy-odoc #44: Commit d222b15 pushed by mbarbin
52s main
main
52s
Merge branch 'flatten-stdlib' deploy-odoc #43: Commit 97e4102 pushed by mbarbin
47s main
main
47s
Remove left-over unused var (shellcheck) deploy-odoc #42: Commit 6b3075a pushed by mbarbin
2m 36s main
main
2m 36s
deploy-odoc deploy-odoc #41: by mbarbin
13m 34s main
main
13m 34s
Upgrade dunolint workflow deploy-odoc #40: Commit 2e1c163 pushed by mbarbin
11m 6s main
main
11m 6s
Bump setup-dune to v2.0.0+patch-4 and add cache-readonly across repos deploy-odoc #39: Commit 0be26f8 pushed by mbarbin
14m 39s main
main
14m 39s
Merge pull request #31 from mbarbin/migrate-main-ci-setup-dune deploy-odoc #38: Commit 3db13d5 pushed by mbarbin
9m 7s main
main
9m 7s
Transition some workflows from more-ci to setup-dune deploy-odoc #37: Commit f47a0dd pushed by mbarbin
4m 16s main
main
4m 16s
Update setup-dune sha (fix macos build path issue) deploy-odoc #36: Commit 3c3e8f7 pushed by mbarbin
4m 39s main
main
4m 39s
Upgrade setup-dune (v2.0.0+patched) deploy-odoc #35: Commit 4272d2a pushed by mbarbin
9m 48s main
main
9m 48s
Improve default settings for GHA permissions deploy-odoc #34: Commit 24b908e pushed by mbarbin
7m 17s main
main
7m 17s
Upgrade setup-dune to v2.0.0+only-packages deploy-odoc #33: Commit 8617329 pushed by mbarbin
26m 27s main
main
26m 27s
Make run shell more portable by default deploy-odoc #32: Commit 8199bf2 pushed by mbarbin
3m 58s main
main
3m 58s
Remove workflow (now merged into more-ci) deploy-odoc #31: Commit 49b6b23 pushed by mbarbin
6m 6s main
main
6m 6s
Upgrade dunolint deploy-odoc #30: Commit a7a004b pushed by mbarbin
4m 21s main
main
4m 21s
Update changelog deploy-odoc #29: Commit 1bc9aa8 pushed by mbarbin
4m 3s main
main
4m 3s
Upgrade actions/checkout deploy-odoc #28: Commit 91667ab pushed by mbarbin
3m 53s main
main
3m 53s
Merge pull request #26 from mbarbin/initiate-using-dyn deploy-odoc #27: Commit eb4302b pushed by mbarbin
4m 0s main
main
4m 0s
Upgrade actions/checkout to v6 in CI deploy-odoc #26: Commit 0158f86 pushed by mbarbin
17m 39s main
main
17m 39s
Merge pull request #25 from mbarbin/reduce-deps deploy-odoc #25: Commit 9f5df33 pushed by mbarbin
5m 3s main
main
5m 3s