Skip to content

Pinned Github Actions dependencies#438

Merged
anonrig merged 1 commit intoada-url:mainfrom
UlisesGascon:chore/pin-actions
Jun 25, 2023
Merged

Pinned Github Actions dependencies#438
anonrig merged 1 commit intoada-url:mainfrom
UlisesGascon:chore/pin-actions

Conversation

@UlisesGascon
Copy link
Copy Markdown
Contributor

@UlisesGascon UlisesGascon commented Jun 25, 2023

Main Changes

Pinned missing Github Actions dependencies

Context

Full Report

Captura de pantalla 2023-06-25 a las 11 57 22

Changelog

@UlisesGascon UlisesGascon marked this pull request as ready for review June 25, 2023 09:59
@UlisesGascon
Copy link
Copy Markdown
Contributor Author

I am not sure how this change affects the failing pipeline. Can you re-run it? 🤔

@anonrig anonrig merged commit ee66579 into ada-url:main Jun 25, 2023
@UlisesGascon UlisesGascon deleted the chore/pin-actions branch June 25, 2023 15:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants