Skip to content

Actions: tc39/proposal-set-methods

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
29 workflow runs
29 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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
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
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
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
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
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
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
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
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
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
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
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
main
July 18, 2023 04:45 23s
Normative: throw on negative set sizes Build spec #19: Pull request #88 synchronize by bakkot
July 18, 2023 04:43 24s size-is-nonnegative
size-is-nonnegative
July 18, 2023 04:43 24s
Editorial: consistently use tombstones Build spec #18: Pull request #100 opened by bakkot
June 21, 2023 17:54 23s consistent-empty
consistent-empty
June 21, 2023 17:54 23s
link issues Deploy gh-pages #24: Commit 80823af pushed by bakkot
June 14, 2023 19:54 18s main
main
June 14, 2023 19:54 18s
pages build and deployment pages-build-deployment #22: by github-pages bot
June 14, 2023 19:53 47s
June 14, 2023 19:53 47s
link outstanding issues Deploy gh-pages #23: Commit 7fc0794 pushed by bakkot
June 14, 2023 19:52 24s main
main
June 14, 2023 19:52 24s
pages build and deployment pages-build-deployment #21: by github-pages bot
May 16, 2023 15:25 56s
May 16, 2023 15:25 56s