Skip to content
This repository has been archived by the owner on Jul 8, 2024. It is now read-only.

Actions: tc39/proposal-set-methods

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #31: by github-pages bot
July 6, 2024 03:16 37s gh-pages
July 6, 2024 03:16 37s
spec: is now stage 4 (#111)
Deploy gh-pages #33: Commit 42c5479 pushed by bakkot
July 6, 2024 03:16 21s main
July 6, 2024 03:16 21s
spec: is now stage 4
Build spec #27: Pull request #111 opened by nektro
July 6, 2024 02:54 20s nektro:patch-1
July 6, 2024 02:54 20s
pages build and deployment
pages-build-deployment #30: by github-pages bot
June 25, 2024 19:21 36s gh-pages
June 25, 2024 19:21 36s
Proposal is stage 4 (#110)
Deploy gh-pages #32: Commit ed128bd pushed by bakkot
June 25, 2024 19:21 23s main
June 25, 2024 19:21 23s
Proposal is stage 4
Build spec #26: Pull request #110 opened by bakkot
June 25, 2024 19:18 21s bakkot-patch-1
June 25, 2024 19:18 21s
pages build and deployment
pages-build-deployment #29: by github-pages bot
May 12, 2024 19:31 39s gh-pages
May 12, 2024 19:31 39s
Remove resolved issues from README (#109)
Deploy gh-pages #31: Commit 13d418e pushed by bakkot
May 12, 2024 19:31 20s main
May 12, 2024 19:31 20s
pages build and deployment
pages-build-deployment #28: by github-pages bot
March 28, 2024 20:47 52s gh-pages
March 28, 2024 20:47 52s
Editorial: consistently use tombstones (#100)
Deploy gh-pages #30: Commit fe17049 pushed by bakkot
March 28, 2024 20:47 26s main
March 28, 2024 20:47 26s
pages build and deployment
pages-build-deployment #27: by github-pages bot
February 6, 2024 22:55 44s gh-pages
February 6, 2024 22:55 44s
Normative: bugfix: do not count ~empty~ in set sizes (#105)
Deploy gh-pages #29: Commit a3a4741 pushed by bakkot
February 6, 2024 22:55 17s main
February 6, 2024 22:55 17s