mirror of
https://github.com/netblue30/firejail.git
synced 2026-05-15 14:16:14 -06:00
[PR #5481] [MERGED] ci: sort and ignore more paths #5509
Labels
No labels
LTS merge
LTS merge
bug
bug
converted-to-discussion
doc-todo
documentation
duplicate
enhancement
file-transfer
firecfg
firejail-in-firejail
firetools
graphics
help wanted
information_old
installation
invalid
modif
moved
needinfo
networking
notabug
notourbug
old-version
overlayfs
packaging
profile-request
pull-request
question
question_old
removal
runtime-permissions
sandbox-ipc
security
stale
wiki
wiki
wontfix
wordpress
workaround
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: github-starred/firejail#5509
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/netblue30/firejail/pull/5481
Author: @kmk3
Created: 11/24/2022
Status: ✅ Merged
Merged: 11/25/2022
Merged by: @netblue30
Base:
master← Head:ci-sort-ignore-paths📝 Commits (6)
9bf5e45ci: sort items on paths-ignore lists78ab343ci: ignore github markdown templates in all workflows59da0f2ci: ignore dependabot and gitlab-ci in all workflowsa057c1eci: ignore codeql workflow file in other workflowse2c7abbci: ignore firecfg.config in the codeql workflow2499a3bci: ignore man/vim paths in build-extra/codeql workflows📊 Changes
4 files changed (+50 additions, -16 deletions)
View changed files
📝
.github/workflows/build-extra.yml(+18 -8)📝
.github/workflows/build.yml(+10 -0)📝
.github/workflows/codeql-analysis.yml(+16 -2)📝
.github/workflows/profile-checks.yml(+6 -6)📄 Description
Commits:
Sort the paths and then ignore unnecessary files (mainly ignore workflow files
in other workflows).
Relates to #5249.
Kind of relates to #5289 #5296.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.