Skip to content

Actions: ipython/traitlets

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
928 workflow runs
928 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

More typing cleanup
Tests #1224: Pull request #877 synchronize by blink1073
October 3, 2023 19:58 7m 56s blink1073:even-more-types-cleanup
October 3, 2023 19:58 7m 56s
More typing cleanup
Test downstream projects #623: Pull request #877 synchronize by blink1073
October 3, 2023 19:58 4m 17s blink1073:even-more-types-cleanup
October 3, 2023 19:58 4m 17s
More typing cleanup
Enforce PR label #306: Pull request #877 labeled by blink1073
October 3, 2023 19:51 1m 19s blink1073:even-more-types-cleanup
October 3, 2023 19:51 1m 19s
More typing cleanup
Enforce PR label #305: Pull request #877 opened by blink1073
October 3, 2023 19:51 1m 49s blink1073:even-more-types-cleanup
October 3, 2023 19:51 1m 49s
More typing cleanup
Test downstream projects #622: Pull request #877 opened by blink1073
October 3, 2023 19:51 5m 5s blink1073:even-more-types-cleanup
October 3, 2023 19:51 5m 5s
More typing cleanup
Tests #1223: Pull request #877 opened by blink1073
October 3, 2023 19:51 7m 2s blink1073:even-more-types-cleanup
October 3, 2023 19:51 7m 2s
Publish 5.11.1
Test downstream projects #621: Commit c360e43 pushed by ghost
October 3, 2023 11:12 4m 13s main
October 3, 2023 11:12 4m 13s
Publish 5.11.1
Tests #1222: Commit c360e43 pushed by ghost
October 3, 2023 11:12 8m 33s v5.11.1
October 3, 2023 11:12 8m 33s
Publish 5.11.1
Tests #1221: Commit c360e43 pushed by ghost
October 3, 2023 11:12 7m 23s main
October 3, 2023 11:12 7m 23s
Step 2: Publish Release
Step 2: Publish Release #11: Manually run by blink1073
October 3, 2023 11:10 2m 18s main
October 3, 2023 11:10 2m 18s
Step 1: Prep Release
Step 1: Prep Release #12: Manually run by blink1073
October 3, 2023 11:09 53s main
October 3, 2023 11:09 53s
Typing fixups (#875)
Tests #1220: Commit 292a699 pushed by blink1073
October 3, 2023 11:05 10m 42s main
October 3, 2023 11:05 10m 42s
Typing fixups (#875)
Test downstream projects #620: Commit 292a699 pushed by blink1073
October 3, 2023 11:05 4m 30s main
October 3, 2023 11:05 4m 30s
[pre-commit.ci] pre-commit autoupdate
Tests #1219: Pull request #876 opened by pre-commit-ci bot
October 3, 2023 11:00 13m 9s pre-commit-ci-update-config
October 3, 2023 11:00 13m 9s
[pre-commit.ci] pre-commit autoupdate
Enforce PR label #304: Pull request #876 opened by pre-commit-ci bot
October 3, 2023 11:00 1m 12s pre-commit-ci-update-config
October 3, 2023 11:00 1m 12s
[pre-commit.ci] pre-commit autoupdate
Test downstream projects #619: Pull request #876 opened by pre-commit-ci bot
October 3, 2023 11:00 5m 58s pre-commit-ci-update-config
October 3, 2023 11:00 5m 58s
Typing fixups
Test downstream projects #618: Pull request #875 synchronize by blink1073
October 3, 2023 10:56 5m 32s blink1073:more-types-cleanup
October 3, 2023 10:56 5m 32s
Typing fixups
Enforce PR label #303: Pull request #875 synchronize by blink1073
October 3, 2023 10:56 11s blink1073:more-types-cleanup
October 3, 2023 10:56 11s
Typing fixups
Tests #1217: Pull request #875 synchronize by blink1073
October 3, 2023 10:56 9m 16s blink1073:more-types-cleanup
October 3, 2023 10:56 9m 16s
Typing fixups
Enforce PR label #302: Pull request #875 synchronize by blink1073
October 3, 2023 10:55 18s blink1073:more-types-cleanup
October 3, 2023 10:55 18s
Typing fixups
Test downstream projects #617: Pull request #875 synchronize by blink1073
October 3, 2023 10:55 1m 41s blink1073:more-types-cleanup
October 3, 2023 10:55 1m 41s
Typing fixups
Tests #1216: Pull request #875 synchronize by blink1073
October 3, 2023 10:55 1m 36s blink1073:more-types-cleanup
October 3, 2023 10:55 1m 36s
Typing fixups
Enforce PR label #301: Pull request #875 labeled by blink1073
October 3, 2023 10:51 17s blink1073:more-types-cleanup
October 3, 2023 10:51 17s
Typing fixups
Enforce PR label #300: Pull request #875 opened by blink1073
October 3, 2023 10:51 1m 12s blink1073:more-types-cleanup
October 3, 2023 10:51 1m 12s
ProTip! You can narrow down the results and go further in time using created:<2023-10-03 or the other filters available.