Skip to content

Actions: ponylang/rfcs

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Advertise Markdown files in text/ as "source" files
PR Labeled #89: Pull request #212 labeled by ponylang-main
September 15, 2023 10:41 21s
September 15, 2023 10:41 21s
Advertise Markdown files in text/ as "source" files
PR Labeled #88: Pull request #212 labeled by ponylang-main
September 15, 2023 10:41 26s
September 15, 2023 10:41 26s
Advertise Markdown files in text/ as "source" files
Add discuss during sync label #418: Pull request #212 opened by i-ky
September 15, 2023 10:40 19s
September 15, 2023 10:40 19s
Advertise Markdown files in text/ as "source" files
PR opened #12: Pull request #212 opened by i-ky
September 15, 2023 10:40 22s
September 15, 2023 10:40 22s
Update to checkout v3
Remove discuss during sync label #17: Pull request #211 closed by SeanTAllen
August 18, 2023 17:48 13s
August 18, 2023 17:48 13s
Update to checkout v3
PR Labeled #87: Pull request #211 labeled by ponylang-main
August 18, 2023 17:47 22s
August 18, 2023 17:47 22s
Update to checkout v3
PR Labeled #86: Pull request #211 labeled by ponylang-main
August 18, 2023 17:47 18s
August 18, 2023 17:47 18s
Update to checkout v3
Lint GitHub Action Workflows #2: Pull request #211 opened by SeanTAllen
August 18, 2023 17:47 20s checkout-v3
August 18, 2023 17:47 20s
Update to checkout v3
Add discuss during sync label #417: Pull request #211 opened by SeanTAllen
August 18, 2023 17:47 15s
August 18, 2023 17:47 15s
Update to checkout v3
PR opened #11: Pull request #211 opened by SeanTAllen
August 18, 2023 17:47 14s
August 18, 2023 17:47 14s
Add linting of GitHub Actions workflows
Remove discuss during sync label #16: Pull request #210 closed by SeanTAllen
August 17, 2023 15:38 14s
August 17, 2023 15:38 14s
Add linting of GitHub Actions workflows
PR Labeled #85: Pull request #210 labeled by ponylang-main
August 17, 2023 15:38 21s
August 17, 2023 15:38 21s
Add linting of GitHub Actions workflows
PR Labeled #84: Pull request #210 labeled by ponylang-main
August 17, 2023 15:38 21s
August 17, 2023 15:38 21s
Add linting of GitHub Actions workflows
Lint GitHub Action Workflows #1: Pull request #210 opened by SeanTAllen
August 17, 2023 15:37 21s action-linting
August 17, 2023 15:37 21s
Add linting of GitHub Actions workflows
PR opened #10: Pull request #210 opened by SeanTAllen
August 17, 2023 15:37 14s
August 17, 2023 15:37 14s
Add linting of GitHub Actions workflows
Add discuss during sync label #416: Pull request #210 opened by SeanTAllen
August 17, 2023 15:37 17s
August 17, 2023 15:37 17s