Skip to content

chore: add names to github workflows #8101

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 3 commits into from
Oct 27, 2023
Merged

chore: add names to github workflows #8101

merged 3 commits into from
Oct 27, 2023

Conversation

kenjis
Copy link
Member

@kenjis kenjis commented Oct 27, 2023 •
edited
Loading

Description
Shorten the names to allow elapsed time to be displayed on PR pages.

Before:
Screenshot 2023-10-27 10 34 33

After:
Screenshot 2023-10-27 11 38 47

Checklist:

  • Securely signed commits
  • [] Component(s) with PHPDoc blocks, only if necessary or adds value
  • [] Unit testing, with >80% coverage
  • [] User guide updated
  • [] Conforms to style guide

@kenjis
chore: add names to github workflows
94e082f 
To change the GitHub PR page display.
@kenjis kenjis added the github_actions Pull requests that update Github_actions code label Oct 27, 2023
@kenjis kenjis force-pushed the add-name-to-workflows branch from bccd007 to f22efe1 Compare October 27, 2023 01:13
@kenjis kenjis force-pushed the add-name-to-workflows branch from 31b02b6 to f22efe1 Compare October 27, 2023 01:31
@kenjis kenjis force-pushed the add-name-to-workflows branch from ca2de50 to 1bae325 Compare October 27, 2023 02:06
@kenjis
Copy link
Member Author

kenjis commented Oct 27, 2023

@paulbalandan The first attempt was not sufficient.
Now we can see all the elapsed time.

@kenjis kenjis merged commit 72dab03 into codeigniter4:develop Oct 27, 2023
@kenjis kenjis deleted the add-name-to-workflows branch October 27, 2023 03:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@paulbalandan paulbalandan paulbalandan approved these changes

Assignees
No one assigned
Labels
github_actions Pull requests that update Github_actions code
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@kenjis @paulbalandan