Skip to content

Actions: mbarbin/fpath-base

Actions

dune-pkg-more-ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade setup-dune (v2.0.0+patched)
dune-pkg-more-ci #8: Commit 4272d2a pushed by mbarbin
38m 39s main
Improve default settings for GHA permissions
dune-pkg-more-ci #7: Commit 24b908e pushed by mbarbin
1h 7m 51s main
Upgrade setup-dune to v2.0.0+only-packages
dune-pkg-more-ci #6: Commit 8617329 pushed by mbarbin
1h 7m 58s main
Make run shell more portable by default
dune-pkg-more-ci #5: Commit 8199bf2 pushed by mbarbin
10m 28s main