Stream: git-wasmtime

Topic: wasmtime / PR #1591 Default to using `bash` on Github Act...

Wasmtime GitHub notifications bot (Apr 24 2020 at 19:42):

alexcrichton opened PR #1591 from default-gha-shell to master:

This updates our github actions configuration with a new feature
released which allows configuring the default shell for the entire
worflow. Here we set that to bash since we frequently do that anyway
and it helps keep syntax consistent throughout the configuration file.

Wasmtime GitHub notifications bot (Apr 28 2020 at 19:21):

alexcrichton updated PR #1591 from default-gha-shell to master:

This updates our github actions configuration with a new feature
released which allows configuring the default shell for the entire
worflow. Here we set that to bash since we frequently do that anyway
and it helps keep syntax consistent throughout the configuration file.

Wasmtime GitHub notifications bot (Apr 29 2020 at 17:48):

alexcrichton requested yurydelendik for a review on PR #1591.

Wasmtime GitHub notifications bot (May 15 2020 at 19:22):

alexcrichton updated PR #1591 from default-gha-shell to master:

This updates our github actions configuration with a new feature
released which allows configuring the default shell for the entire
worflow. Here we set that to bash since we frequently do that anyway
and it helps keep syntax consistent throughout the configuration file.

Wasmtime GitHub notifications bot (May 15 2020 at 19:25):

fitzgen submitted PR Review.

Wasmtime GitHub notifications bot (May 15 2020 at 20:08):

alexcrichton merged PR #1591.

Last updated: Dec 23 2024 at 12:05 UTC