Skip to content

Actions: mrjbq7/factor

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
290 workflow runs
290 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
grouping.extras: tweak some documentation for n-group Build #489: Commit 70bf640 pushed by mrjbq7
October 27, 2023 16:49 43m 34s master
master
October 27, 2023 16:49 43m 34s
splitting: faster split-lines using subseq-unsafe Build #488: Commit 2bc85d3 pushed by mrjbq7
October 26, 2023 00:45 41m 49s master
master
October 26, 2023 00:45 41m 49s
regexp: use subseq-unsafe in a few places, more efficient (re-split) Build #487: Commit 61a63a7 pushed by mrjbq7
October 25, 2023 20:58 55m 44s master
master
October 25, 2023 20:58 55m 44s
ranges: fix exclusive ranges for float, ratio, etc. Build #486: Commit 536a4e9 pushed by mrjbq7
October 25, 2023 18:35 47m 56s master
master
October 25, 2023 18:35 47m 56s
json: adding "Copy JSON" UI operation Build #485: Commit 6684822 pushed by mrjbq7
October 25, 2023 18:29 52m 25s master
master
October 25, 2023 18:29 52m 25s
models.range: move the range words into the models.range vocabulary Build #484: Commit 76845b9 pushed by mrjbq7
October 25, 2023 18:09 42m 26s master
master
October 25, 2023 18:09 42m 26s
ui.gadgets.comboboxes: fix help-lint Build #483: Commit 3553f50 pushed by mrjbq7
October 23, 2023 23:28 41m 38s master
master
October 23, 2023 23:28 41m 38s
math.vectors: replace supremum Build #482: Commit c0a56c9 pushed by mrjbq7
October 23, 2023 20:48 50m 35s master
master
October 23, 2023 20:48 50m 35s
Revert ".github: tweak windows help step" Build #481: Commit 5697c4d pushed by mrjbq7
October 17, 2023 01:33 41m 34s master
master
October 17, 2023 01:33 41m 34s
.github: tweak again Build #480: Commit 1b36916 pushed by mrjbq7
October 17, 2023 00:49 42m 14s master
master
October 17, 2023 00:49 42m 14s
.github: tweak windows help step Build #479: Commit fea2ee8 pushed by mrjbq7
October 16, 2023 20:21 43m 31s master
master
October 16, 2023 20:21 43m 31s
Fix typo in ffi.factor Build #478: Commit 3fb319a pushed by mrjbq7
October 16, 2023 14:51 51m 6s master
master
October 16, 2023 14:51 51m 6s
lexer: change new-lexer to take a string Build #477: Commit d86d39a pushed by mrjbq7
October 13, 2023 18:54 50m 12s master
master
October 13, 2023 18:54 50m 12s
Refactor circular-slice, gb, step-slice using wrapped-sequence Build #476: Commit b8230e6 pushed by mrjbq7
October 13, 2023 16:09 1m 57s master
master
October 13, 2023 16:09 1m 57s
sequences.extras: more efficient 1reduce without unclip Build #475: Commit 6865e47 pushed by mrjbq7
September 29, 2023 13:37 42m 7s master
master
September 29, 2023 13:37 42m 7s
google.charts: check title/data before set-url-param Build #474: Commit adff5af pushed by mrjbq7
September 21, 2023 03:16 44m 4s master
master
September 21, 2023 03:16 44m 4s
tools.scaffold: change developer-name example to just Stacky. Build #473: Commit 20d076e pushed by mrjbq7
September 21, 2023 02:58 42m 15s master
master
September 21, 2023 02:58 42m 15s
sequences: simplify <repetition> Build #472: Commit f3b480a pushed by mrjbq7
September 19, 2023 18:53 45m 0s master
master
September 19, 2023 18:53 45m 0s
cbor: fix using Build #471: Commit 6601114 pushed by mrjbq7
September 19, 2023 17:37 52m 11s master
master
September 19, 2023 17:37 52m 11s
math.functions: merge integer-sqrt and integer-log{2,10} in Build #470: Commit 5c4325f pushed by mrjbq7
September 19, 2023 16:37 12m 14s master
master
September 19, 2023 16:37 12m 14s
splitting: implement universal linebreaks by splitting on: Build #469: Commit a525b01 pushed by mrjbq7
September 19, 2023 04:41 46m 24s master
master
September 19, 2023 04:41 46m 24s
tools.disassembler.capstone: work with capstone 4 and 5 both Build #468: Commit 578aa52 pushed by mrjbq7
September 19, 2023 03:34 43m 0s master
master
September 19, 2023 03:34 43m 0s
gml.core: use check-instance Build #467: Commit f1e6e49 pushed by mrjbq7
September 18, 2023 22:40 49m 13s master
master
September 18, 2023 22:40 49m 13s
misc/vim: update vim syntax words Build #466: Commit 79f7644 pushed by mrjbq7
September 18, 2023 22:25 52m 51s master
master
September 18, 2023 22:25 52m 51s
io.files: adding check-file-exists Build #465: Commit f7f6fb5 pushed by mrjbq7
September 18, 2023 21:38 43m 42s master
master
September 18, 2023 21:38 43m 42s