CI: ignore CircleCI config files from all other CIs (PR #23405)

13 views
Skip to first unread message

Scott Talbert

unread,
Mar 30, 2023, 6:41:57 PM3/30/23
to wx-...@googlegroups.com, Subscribed

You can view, comment on, or merge this pull request online at:

  https://github.com/wxWidgets/wxWidgets/pull/23405

Commit Summary

  • de10e55 CI: ignore CircleCI config files from all other CIs

File Changes

(8 files)

Patch Links:


Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.Message ID: <wxWidgets/wxWidgets/pull/23405@github.com>

Scott Talbert

unread,
Apr 3, 2023, 10:30:28 PM4/3/23
to wx-...@googlegroups.com, Subscribed

@vadz can this be merged? Will be helpful for working on CircleCI not having all other builds triggered. The one CI failure doesn't seem related.


Reply to this email directly, view it on GitHub, or unsubscribe.

You are receiving this because you are subscribed to this thread.Message ID: <wxWidgets/wxWidgets/pull/23405/c1495253077@github.com>

VZ

unread,
Apr 4, 2023, 9:28:23 AM4/4/23
to wx-...@googlegroups.com, Subscribed

Yes, sure, will merge in a moment, thanks.


Reply to this email directly, view it on GitHub, or unsubscribe.

You are receiving this because you are subscribed to this thread.Message ID: <wxWidgets/wxWidgets/pull/23405/c1495974823@github.com>

VZ

unread,
Apr 4, 2023, 11:17:08 AM4/4/23
to wx-...@googlegroups.com, Subscribed

Closed #23405 via 0432655.


Reply to this email directly, view it on GitHub, or unsubscribe.

You are receiving this because you are subscribed to this thread.Message ID: <wxWidgets/wxWidgets/pull/23405/issue_event/8925819569@github.com>

Reply all
Reply to author
Forward
0 new messages