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
20 workflow runs
20 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
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
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
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
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
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
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