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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
pages build and deployment
pages-build-deployment #31: by github-pages bot
July 6, 2024 03:16 37s
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
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
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
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
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
Normative: bugfix: do not count ~empty~ in set sizes
Build spec #24: Pull request #105 opened by bakkot
December 20, 2023 03:38 19s fix-size
December 20, 2023 03:38 19s
Editorial: consistently use tombstones
Build spec #23: Pull request #100 synchronize by bakkot
December 20, 2023 03:35 20s consistent-empty
December 20, 2023 03:35 20s
pages build and deployment
pages-build-deployment #26: by github-pages bot
December 3, 2023 19:18 42s
December 3, 2023 19:18 42s
Bugfix: update index after use in Set.prototype.difference (#104)
Deploy gh-pages #28: Commit a52031f pushed by bakkot
December 3, 2023 19:18 18s main
December 3, 2023 19:18 18s
Bugfix: update index after use in Set.prototype.difference
Build spec #22: Pull request #104 opened by bakkot
November 30, 2023 05:33 17s fix-difference
November 30, 2023 05:33 17s
pages build and deployment
pages-build-deployment #25: by github-pages bot
November 25, 2023 17:23 43s
November 25, 2023 17:23 43s
Bugfix: fix a missed ~empty~ check in isSubsetOf (#102)
Deploy gh-pages #27: Commit f2635a7 pushed by bakkot
November 25, 2023 17:22 24s main
November 25, 2023 17:22 24s
Bugfix: fix a missed ~empty~ check in isSubsetOf
Build spec #21: Pull request #102 opened by bakkot
November 25, 2023 06:19 19s fix-empty
November 25, 2023 06:19 19s
pages build and deployment
pages-build-deployment #24: by github-pages bot
July 18, 2023 15:21 59s
July 18, 2023 15:21 59s
Normative: remove IsCallable check in GetKeysIterator (#101)
Deploy gh-pages #26: Commit f3d5206 pushed by bakkot
July 18, 2023 15:20 28s main
July 18, 2023 15:20 28s
Normative: remove IsCallable check in GetKeysIterator
Build spec #20: Pull request #101 opened by bakkot
July 18, 2023 04:55 17s rm-callable-check
July 18, 2023 04:55 17s
pages build and deployment
pages-build-deployment #23: by github-pages bot
July 18, 2023 04:45 48s
July 18, 2023 04:45 48s
Normative: throw on negative set sizes (#88)
Deploy gh-pages #25: Commit 4155e6e pushed by bakkot
July 18, 2023 04:45 23s main
July 18, 2023 04:45 23s