Skip to content

ci: Bump checkout actions#122

Open
alexandrst88 wants to merge 1 commit intomainfrom
ci-bump
Open

ci: Bump checkout actions#122
alexandrst88 wants to merge 1 commit intomainfrom
ci-bump

Conversation

@alexandrst88
Copy link
Contributor

What ❔

Why ❔

Checklist

  • PR title corresponds to the body of PR (we generate changelog entries from PRs).
  • Tests for the changes have been added / updated.
  • Documentation comments have been added / updated.
  • Code has been formatted via zk fmt and zk lint.

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.

1 participant