Skip to content

Actions: mbarbin/fpath-base

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
258 workflow runs
258 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update setup-dune sha (fix macos build path issue) Dunolint Workflows #20: Commit 3c3e8f7 pushed by mbarbin
13s main
main
13s
Update setup-dune sha (fix macos build path issue) dune-pkg-more-ci #9: Commit 3c3e8f7 pushed by mbarbin
26m 48s main
main
26m 48s
Update setup-dune sha (fix macos build path issue) more-ci #61: Commit 3c3e8f7 pushed by mbarbin
27m 6s main
main
27m 6s
Update setup-dune sha (fix macos build path issue) ci #109: Commit 3c3e8f7 pushed by mbarbin
8m 36s main
main
8m 36s
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) ci #108: Commit 4272d2a pushed by mbarbin
10m 33s main
main
10m 33s
Upgrade setup-dune (v2.0.0+patched) more-ci #60: Commit 4272d2a pushed by mbarbin
53m 30s main
main
53m 30s
Upgrade setup-dune (v2.0.0+patched) dune-pkg-more-ci #8: Commit 4272d2a pushed by mbarbin
38m 39s main
main
38m 39s
Upgrade setup-dune (v2.0.0+patched) deploy-odoc #35: Commit 4272d2a pushed by mbarbin
9m 48s main
main
9m 48s
Upgrade setup-dune (v2.0.0+patched) Dunolint Workflows #19: Commit 4272d2a pushed by mbarbin
8m 27s main
main
8m 27s
Improve default settings for GHA permissions more-ci #59: Commit 24b908e pushed by mbarbin
58m 44s main
main
58m 44s
Improve default settings for GHA permissions deploy-odoc #34: Commit 24b908e pushed by mbarbin
7m 17s main
main
7m 17s
Improve default settings for GHA permissions dune-pkg-more-ci #7: Commit 24b908e pushed by mbarbin
1h 7m 51s main
main
1h 7m 51s
Improve default settings for GHA permissions ci #107: Commit 24b908e pushed by mbarbin
4m 22s main
main
4m 22s
Improve default settings for GHA permissions Dunolint Workflows #18: Commit 24b908e pushed by mbarbin
51s main
main
51s
Upgrade setup-dune to v2.0.0+only-packages deploy-odoc #33: Commit 8617329 pushed by mbarbin
26m 27s main
main
26m 27s
Upgrade setup-dune to v2.0.0+only-packages more-ci #58: Commit 8617329 pushed by mbarbin
1h 29m 18s main
main
1h 29m 18s
Upgrade setup-dune to v2.0.0+only-packages dune-pkg-more-ci #6: Commit 8617329 pushed by mbarbin
1h 7m 58s main
main
1h 7m 58s
Upgrade setup-dune to v2.0.0+only-packages ci #106: Commit 8617329 pushed by mbarbin
22m 32s main
main
22m 32s
Upgrade setup-dune to v2.0.0+only-packages Dunolint Workflows #17: Commit 8617329 pushed by mbarbin
9m 29s main
main
9m 29s
Make run shell more portable by default deploy-odoc #32: Commit 8199bf2 pushed by mbarbin
3m 58s main
main
3m 58s
Make run shell more portable by default Dunolint Workflows #16: Commit 8199bf2 pushed by mbarbin
10s main
main
10s
Make run shell more portable by default more-ci #57: Commit 8199bf2 pushed by mbarbin
15m 40s main
main
15m 40s
Make run shell more portable by default dune-pkg-more-ci #5: Commit 8199bf2 pushed by mbarbin
10m 28s main
main
10m 28s
Make run shell more portable by default ci #105: Commit 8199bf2 pushed by mbarbin
4m 25s main
main
4m 25s