Skip to content

Actions: modular/mojo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21,120 workflow runs
21,120 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[stdlib] Micro-optimize utf8 helper functions Check PR title #6383: Pull request #3896 synchronize by martinvuyk
February 2, 2025 13:45 10s martinvuyk:micro-optimize-utf8-seq-length
martinvuyk:micro-optimize-utf8-seq-length
February 2, 2025 13:45 10s
[stdlib] Micro-optimize utf8 helper functions Check PR target branch #6383: Pull request #3896 synchronize by martinvuyk
February 2, 2025 13:45 9s martinvuyk:micro-optimize-utf8-seq-length
martinvuyk:micro-optimize-utf8-seq-length
February 2, 2025 13:45 9s
[stdlib] Micro-optimize utf8 helper functions Run pre-commit #2914: Pull request #3896 synchronize by martinvuyk
February 2, 2025 13:45 56s martinvuyk:micro-optimize-utf8-seq-length
martinvuyk:micro-optimize-utf8-seq-length
February 2, 2025 13:45 56s
[stdlib] Micro-optimize utf8 helper functions Test stdlib and examples #5459: Pull request #3896 synchronize by martinvuyk
February 2, 2025 13:45 12m 57s martinvuyk:micro-optimize-utf8-seq-length
martinvuyk:micro-optimize-utf8-seq-length
February 2, 2025 13:45 12m 57s
[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API Check PR target branch #6382: Pull request #3814 synchronize by martinvuyk
February 2, 2025 13:32 11s martinvuyk:make-list-size-private
martinvuyk:make-list-size-private
February 2, 2025 13:32 11s
[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API Check PR title #6382: Pull request #3814 synchronize by martinvuyk
February 2, 2025 13:32 14s martinvuyk:make-list-size-private
martinvuyk:make-list-size-private
February 2, 2025 13:32 14s
[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API Test stdlib and examples #5458: Pull request #3814 synchronize by martinvuyk
February 2, 2025 13:32 13m 9s martinvuyk:make-list-size-private
martinvuyk:make-list-size-private
February 2, 2025 13:32 13m 9s
[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API Run pre-commit #2913: Pull request #3814 synchronize by martinvuyk
February 2, 2025 13:32 53s martinvuyk:make-list-size-private
martinvuyk:make-list-size-private
February 2, 2025 13:32 53s
[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API Check PR target branch #6381: Pull request #3814 synchronize by martinvuyk
February 2, 2025 13:25 9s martinvuyk:make-list-size-private
martinvuyk:make-list-size-private
February 2, 2025 13:25 9s
[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API Run pre-commit #2912: Pull request #3814 synchronize by martinvuyk
February 2, 2025 13:25 57s martinvuyk:make-list-size-private
martinvuyk:make-list-size-private
February 2, 2025 13:25 57s
[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API Check PR title #6381: Pull request #3814 synchronize by martinvuyk
February 2, 2025 13:25 11s martinvuyk:make-list-size-private
martinvuyk:make-list-size-private
February 2, 2025 13:25 11s
[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API Test stdlib and examples #5457: Pull request #3814 synchronize by martinvuyk
February 2, 2025 13:25 11m 57s martinvuyk:make-list-size-private
martinvuyk:make-list-size-private
February 2, 2025 13:25 11m 57s
[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API Test stdlib and examples #5456: Pull request #3814 synchronize by martinvuyk
February 2, 2025 13:07 12m 24s martinvuyk:make-list-size-private
martinvuyk:make-list-size-private
February 2, 2025 13:07 12m 24s
[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API Run pre-commit #2911: Pull request #3814 synchronize by martinvuyk
February 2, 2025 13:07 1m 4s martinvuyk:make-list-size-private
martinvuyk:make-list-size-private
February 2, 2025 13:07 1m 4s
[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API Check PR target branch #6380: Pull request #3814 synchronize by martinvuyk
February 2, 2025 13:07 12s martinvuyk:make-list-size-private
martinvuyk:make-list-size-private
February 2, 2025 13:07 12s
[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API Check PR title #6380: Pull request #3814 synchronize by martinvuyk
February 2, 2025 13:07 10s martinvuyk:make-list-size-private
martinvuyk:make-list-size-private
February 2, 2025 13:07 10s
[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API Run pre-commit #2910: Pull request #3814 synchronize by martinvuyk
February 2, 2025 12:57 1m 0s martinvuyk:make-list-size-private
martinvuyk:make-list-size-private
February 2, 2025 12:57 1m 0s
[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API Check PR title #6379: Pull request #3814 synchronize by martinvuyk
February 2, 2025 12:57 10s martinvuyk:make-list-size-private
martinvuyk:make-list-size-private
February 2, 2025 12:57 10s
[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API Test stdlib and examples #5455: Pull request #3814 synchronize by martinvuyk
February 2, 2025 12:57 12m 29s martinvuyk:make-list-size-private
martinvuyk:make-list-size-private
February 2, 2025 12:57 12m 29s
[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API Check PR target branch #6379: Pull request #3814 synchronize by martinvuyk
February 2, 2025 12:57 11s martinvuyk:make-list-size-private
martinvuyk:make-list-size-private
February 2, 2025 12:57 11s
[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API Test stdlib and examples #5454: Pull request #3814 synchronize by martinvuyk
February 2, 2025 12:53 12m 13s martinvuyk:make-list-size-private
martinvuyk:make-list-size-private
February 2, 2025 12:53 12m 13s
[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API Check PR target branch #6378: Pull request #3814 synchronize by martinvuyk
February 2, 2025 12:53 13s martinvuyk:make-list-size-private
martinvuyk:make-list-size-private
February 2, 2025 12:53 13s
[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API Check PR title #6378: Pull request #3814 synchronize by martinvuyk
February 2, 2025 12:53 14s martinvuyk:make-list-size-private
martinvuyk:make-list-size-private
February 2, 2025 12:53 14s
[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API Run pre-commit #2909: Pull request #3814 synchronize by martinvuyk
February 2, 2025 12:53 55s martinvuyk:make-list-size-private
martinvuyk:make-list-size-private
February 2, 2025 12:53 55s
[stdlib] Un-deprecate String.__iter__() Test stdlib and examples #5453: Pull request #3984 synchronize by martinvuyk
February 1, 2025 22:00 11m 49s martinvuyk:undeprecate-string-iter
martinvuyk:undeprecate-string-iter
February 1, 2025 22:00 11m 49s