Skip to content

Pinned Github Actions dependencies - #438

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

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

Conversation

@UlisesGascon

@UlisesGascon UlisesGascon commented Jun 25, 2023

Copy link
Copy Markdown
Contributor

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