Skip to content

Actions: mbarbin/fpath-base

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
80 workflow runs
80 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) ci #127: Commit 2586593 pushed by mbarbin
1m 25s main
main
1m 25s
Upgrade CIs ci #126: Commit a721940 pushed by mbarbin
7m 11s main
main
7m 11s
Avoid some odoc warning related to not finding Fpath ci #125: Commit d6d0b16 pushed by mbarbin
2m 49s main
main
2m 49s
Merge pull request #32 from mbarbin/use-mdexp ci #124: Commit b137572 pushed by mbarbin
1m 35s main
main
1m 35s
Use mdexp ci #123: Pull request #32 synchronize by mbarbin
1m 14s use-mdexp
use-mdexp
1m 14s
Use mdexp ci #122: Pull request #32 opened by mbarbin
50s use-mdexp
use-mdexp
50s
Apply fmt changes ci #121: Commit 0042e38 pushed by mbarbin
2m 36s main
main
2m 36s
Merge branch 'move-stdlib-tests' ci #120: Commit d222b15 pushed by mbarbin
1m 4s main
main
1m 4s
Merge branch 'flatten-stdlib' ci #119: Commit 97e4102 pushed by mbarbin
54s main
main
54s
Remove left-over unused var (shellcheck) ci #118: Commit 6b3075a pushed by mbarbin
2m 52s main
main
2m 52s
ci ci #117: by mbarbin
8m 23s main
main
8m 23s
Upgrade dunolint workflow ci #116: Commit 2e1c163 pushed by mbarbin
6m 56s main
main
6m 56s
Bump setup-dune to v2.0.0+patch-4 and add cache-readonly across repos ci #115: Commit 0be26f8 pushed by mbarbin
3m 43s main
main
3m 43s
Bump actions/checkout from 6.0.1 to 6.0.2 ci #114: Pull request #30 synchronize by dependabot Bot
9m 6s dependabot/github_actions/actions/checkout-6.0.2
dependabot/github_actions/actions/checkout-6.0.2
9m 6s
Merge pull request #31 from mbarbin/migrate-main-ci-setup-dune ci #113: Commit 3db13d5 pushed by mbarbin
56s main
main
56s
Migrate main ci setup dune ci #112: Pull request #31 opened by mbarbin
7m 24s migrate-main-ci-setup-dune
migrate-main-ci-setup-dune
7m 24s
Bump actions/checkout from 6.0.1 to 6.0.2 ci #111: Pull request #30 opened by dependabot Bot
7m 17s dependabot/github_actions/actions/checkout-6.0.2
dependabot/github_actions/actions/checkout-6.0.2
7m 17s
Transition some workflows from more-ci to setup-dune ci #110: Commit f47a0dd pushed by mbarbin
7m 14s main
main
7m 14s
Update setup-dune sha (fix macos build path issue) ci #109: Commit 3c3e8f7 pushed by mbarbin
8m 36s main
main
8m 36s
Upgrade setup-dune (v2.0.0+patched) ci #108: Commit 4272d2a pushed by mbarbin
10m 33s main
main
10m 33s
Improve default settings for GHA permissions ci #107: Commit 24b908e pushed by mbarbin
4m 22s main
main
4m 22s
Upgrade setup-dune to v2.0.0+only-packages ci #106: Commit 8617329 pushed by mbarbin
22m 32s main
main
22m 32s
Make run shell more portable by default ci #105: Commit 8199bf2 pushed by mbarbin
4m 25s main
main
4m 25s
Attach locks to contexts ci #104: Pull request #29 synchronize by mbarbin
4m 56s attach-locks-to-contexts
attach-locks-to-contexts
4m 56s
Attach locks to contexts ci #103: Pull request #29 synchronize by mbarbin
4m 33s attach-locks-to-contexts
attach-locks-to-contexts
4m 33s