Skip to content

Actions: ietf-wg-aipref/drafts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
589 workflow runs
589 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #220: by github-pages bot
August 21, 2025 01:55 44s gh-pages
gh-pages
August 21, 2025 01:55 44s
Archive Issues and Pull Requests Archive Issues and Pull Requests #57: Scheduled
August 21, 2025 01:55 19s main
main
August 21, 2025 01:55 19s
Update definition of AI to better differentiate it from non-AI Update Editor's Copy #310: Pull request #116 opened by TimidRobot
August 20, 2025 08:53 23s TimidRobot:ai-definition-ish
TimidRobot:ai-definition-ish
August 20, 2025 08:53 23s
Archive Issues and Pull Requests Archive Issues and Pull Requests #56: Scheduled
August 19, 2025 01:58 18s main
main
August 19, 2025 01:58 18s
pages build and deployment pages-build-deployment #219: by github-pages bot
August 17, 2025 02:11 35s gh-pages
gh-pages
August 17, 2025 02:11 35s
Archive Issues and Pull Requests Archive Issues and Pull Requests #55: Scheduled
August 17, 2025 02:11 18s main
main
August 17, 2025 02:11 18s
pages build and deployment pages-build-deployment #218: by github-pages bot
August 15, 2025 07:06 41s gh-pages
gh-pages
August 15, 2025 07:06 41s
Merge pull request #115 from chrisn/definition-phrasing Update Editor's Copy #309: Commit 9835d9f pushed by martinthomson
August 15, 2025 07:05 34s main
main
August 15, 2025 07:05 34s
Use consistent phrasing in Definitions section Update Editor's Copy #308: Pull request #115 opened by chrisn
August 14, 2025 15:39 27s chrisn:definition-phrasing
chrisn:definition-phrasing
August 14, 2025 15:39 27s
pages build and deployment pages-build-deployment #217: by github-pages bot
August 14, 2025 08:54 40s gh-pages
gh-pages
August 14, 2025 08:54 40s
Merge pull request #114 from ietf-wg-aipref/trim-ai-use-search Update Editor's Copy #307: Commit 8e45d85 pushed by paul2keller
August 14, 2025 08:53 33s main
main
August 14, 2025 08:53 33s
pages build and deployment pages-build-deployment #216: by github-pages bot
August 14, 2025 02:04 42s gh-pages
gh-pages
August 14, 2025 02:04 42s
Archive Issues and Pull Requests Archive Issues and Pull Requests #54: Scheduled
August 14, 2025 02:04 20s main
main
August 14, 2025 02:04 20s
pages build and deployment pages-build-deployment #215: by github-pages bot
August 13, 2025 07:40 55s gh-pages
gh-pages
August 13, 2025 07:40 55s
Remove AI Use text from Search Update Editor's Copy #306: Pull request #114 opened by martinthomson
August 13, 2025 07:40 20s trim-ai-use-search
trim-ai-use-search
August 13, 2025 07:40 20s
Remove AI Use text from Search Update Editor's Copy #305: Commit 20d5738 pushed by martinthomson
August 13, 2025 07:40 31s trim-ai-use-search
trim-ai-use-search
August 13, 2025 07:40 31s
pages build and deployment pages-build-deployment #214: by github-pages bot
August 13, 2025 07:15 1m 11s gh-pages
gh-pages
August 13, 2025 07:15 1m 11s
Combine usage sections Update Editor's Copy #304: Pull request #113 opened by martinthomson
August 13, 2025 07:15 27s combine-usage-sections
combine-usage-sections
August 13, 2025 07:15 27s
Combine usage sections Update Editor's Copy #303: Commit 6c866d7 pushed by martinthomson
August 13, 2025 07:14 42s combine-usage-sections
combine-usage-sections
August 13, 2025 07:14 42s
pages build and deployment pages-build-deployment #213: by github-pages bot
August 13, 2025 06:38 38s gh-pages
gh-pages
August 13, 2025 06:38 38s
Define search Update Editor's Copy #302: Pull request #112 synchronize by martinthomson
August 13, 2025 06:38 29s define-search
define-search
August 13, 2025 06:38 29s
clippy helps Update Editor's Copy #301: Commit 6bb027d pushed by martinthomson
August 13, 2025 06:38 40s define-search
define-search
August 13, 2025 06:38 40s
pages build and deployment pages-build-deployment #212: by github-pages bot
August 13, 2025 06:36 43s gh-pages
gh-pages
August 13, 2025 06:36 43s
Define search Update Editor's Copy #300: Pull request #112 opened by martinthomson
August 13, 2025 06:36 27s define-search
define-search
August 13, 2025 06:36 27s
Merge branch 'main' into define-search Update Editor's Copy #299: Commit 229e59c pushed by martinthomson
August 13, 2025 06:36 34s define-search
define-search
August 13, 2025 06:36 34s