Labels Milestones

New Pull Request

Fix lint-php #16

Merged

sev merged 7 commits from dev-fix-lint-php into master 4 years ago

Conversation 0 Commits 7 Files Changed 6

sev commented 4 years ago

Owner

There is no content yet.

sev added 1 commit 4 years ago

ci the build was successful

Details

7646bc4a10 Fixed lint-php

sev added 1 commit 4 years ago

ci the build was successful

Details

de6b454e0a Disabled debug

sev added 1 commit 4 years ago

ci the build was successful

Details

e21a715c31 Exec before_script

sev added 1 commit 4 years ago

ci the build failed

Details

715eccbfa1 Ignore SC2034 for DIRS_TO_FILES

sev added 1 commit 4 years ago

ci the build failed

Details

e753750d35 Force exit if before_script fails

sev added 1 commit 4 years ago

ci the build was successful

Details

9dcd8aa7b8 Small changes in pipeline

sev added 1 commit 4 years ago

5db38df204 [skip ci] fixed hadolint.yaml

sev merged commit cebce177c6 into master 4 years ago

sev referenced this issue from a commit 4 years ago

Fix lint-php (#16)

sev deleted branch dev-fix-lint-php 4 years ago

The pull request has been merged as cebce177c6.

Sign in to join this conversation.

Reviewers

Request review

No reviewers

Labels

Apply labels

Clear labels

bug
Something is not working duplicate
This issue or pull request already exists enhancement
New feature help wanted
Need some help invalid
Something is wrong question
More information is needed wontfix
This won't be fixed

No Label bug duplicate enhancement help wanted invalid question wontfix

Milestone

Set milestone

Clear milestone

No items

No Milestone

Assignees

Assign users

Clear assignees

No Assignees

1 Participants

Notifications

Subscribe

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

This pull request currently doesn't have any dependencies.

Write Preview

Loading…

Cancel

Save

There is no content yet.