Skip to content

Actions: rust-lang/regex

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
765 workflow runs
765 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: improve literal extraction from certain repetitions
ci #1710: Pull request #1033 opened by plusvic
July 10, 2023 21:51 19m 32s plusvic:fix_1032
July 10, 2023 21:51 19m 32s
ci
ci #1709: Scheduled
July 10, 2023 01:30 18m 57s master
July 10, 2023 01:30 18m 57s
allow starting DFA in noncontinuous bytes
ci #1708: Pull request #1031 synchronize by pascalkuthe
July 9, 2023 16:34 14m 30s pascalkuthe:master
July 9, 2023 16:34 14m 30s
ci
ci #1707: Scheduled
July 9, 2023 01:30 14m 50s master
July 9, 2023 01:30 14m 50s
regex-automata-0.3.2
ci #1706: Commit 28e16fa pushed by BurntSushi
July 8, 2023 02:22 14m 47s master
July 8, 2023 02:22 14m 47s
automata: add targeted inline(always) annotations
ci #1705: Commit 3616358 pushed by BurntSushi
July 8, 2023 02:21 17m 50s master
July 8, 2023 02:21 17m 50s
automata: add targeted inline(always) annotations
ci #1704: Pull request #1030 opened by BurntSushi
July 8, 2023 02:00 18m 46s ag/fix-1029
July 8, 2023 02:00 18m 46s
ci
ci #1703: Scheduled
July 8, 2023 01:30 14m 41s master
July 8, 2023 01:30 14m 41s
1.9.1
ci #1702: Commit a47e245 pushed by BurntSushi
July 7, 2023 17:46 19m 59s master
July 7, 2023 17:46 19m 59s
automata/nfa/backtrack: fix memory usage
ci #1701: Commit 4e89cbf pushed by BurntSushi
July 7, 2023 17:42 15m 26s master
July 7, 2023 17:42 15m 26s
ci
ci #1699: Scheduled
July 7, 2023 01:30 20m 19s master
July 7, 2023 01:30 20m 19s
fuzz: tweak limits
ci #1698: Commit c51486d pushed by BurntSushi
July 6, 2023 12:46 18m 41s master
July 6, 2023 12:46 18m 41s
doc: fix typos
ci #1697: Commit 54690c2 pushed by BurntSushi
July 6, 2023 12:43 15m 41s master
July 6, 2023 12:43 15m 41s
correct typos
ci #1696: Pull request #1026 synchronize by jqnatividad
July 6, 2023 12:06 15m 4s jqnatividad:typos
July 6, 2023 12:06 15m 4s
ProTip! You can narrow down the results and go further in time using created:<2023-07-06 or the other filters available.