Skip to content

Actions: brucemiller/LaTeXML

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
822 workflow runs
822 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Redundant titles Linux #1152: Pull request #2207 synchronize by brucemiller
August 31, 2023 01:45 25m 58s redundant-titles
redundant-titles
August 31, 2023 01:45 25m 58s
Redundant titles Windows #1152: Pull request #2207 synchronize by brucemiller
August 31, 2023 01:45 16m 11s redundant-titles
redundant-titles
August 31, 2023 01:45 16m 11s
attempt to guard the \@captype for \subcaption Windows #1151: Pull request #2208 opened by dginev
August 31, 2023 01:45 16m 12s dginev:thesubsubfigure
dginev:thesubsubfigure
August 31, 2023 01:45 16m 12s
attempt to guard the \@captype for \subcaption Linux #1151: Pull request #2208 opened by dginev
August 31, 2023 01:45 16m 16s dginev:thesubsubfigure
dginev:thesubsubfigure
August 31, 2023 01:45 16m 16s
Make the title attribute use cref typenames, when appropriate, while … Windows #1150: Commit b0d399f pushed by brucemiller
August 31, 2023 01:44 11m 30s redundant-titles
redundant-titles
August 31, 2023 01:44 11m 30s
Make the title attribute use cref typenames, when appropriate, while … Linux #1150: Commit b0d399f pushed by brucemiller
August 31, 2023 01:44 14m 58s redundant-titles
redundant-titles
August 31, 2023 01:44 14m 58s
Redundant titles Linux #1149: Pull request #2207 opened by brucemiller
August 30, 2023 15:51 16m 56s redundant-titles
redundant-titles
August 30, 2023 15:51 16m 56s
Redundant titles Windows #1149: Pull request #2207 opened by brucemiller
August 30, 2023 15:51 13m 29s redundant-titles
redundant-titles
August 30, 2023 15:51 13m 29s
Avoid duplicating context; use full title on out-of-context html link Windows #1148: Commit 10f2aa8 pushed by brucemiller
August 30, 2023 15:47 11m 58s redundant-titles
redundant-titles
August 30, 2023 15:47 11m 58s
Avoid duplicating context; use full title on out-of-context html link Linux #1148: Commit 10f2aa8 pushed by brucemiller
August 30, 2023 15:47 11m 57s redundant-titles
redundant-titles
August 30, 2023 15:47 11m 57s
spurious characters in css file removed (#2205) Windows #1147: Commit 6fa4daa pushed by brucemiller
August 30, 2023 15:06 9m 31s master
master
August 30, 2023 15:06 9m 31s
spurious characters in css file removed (#2205) Linux #1147: Commit 6fa4daa pushed by brucemiller
August 30, 2023 15:06 20m 24s master
master
August 30, 2023 15:06 20m 24s
Logo fixes (#2206) Linux #1146: Commit 8032cfb pushed by brucemiller
August 30, 2023 15:04 15m 55s master
master
August 30, 2023 15:04 15m 55s
Logo fixes (#2206) Windows #1146: Commit 8032cfb pushed by brucemiller
August 30, 2023 15:04 11m 21s master
master
August 30, 2023 15:04 11m 21s
Logo fixes Linux #1145: Pull request #2206 synchronize by brucemiller
August 30, 2023 14:30 20m 33s logo-fixes
logo-fixes
August 30, 2023 14:30 20m 33s
Logo fixes Windows #1145: Pull request #2206 synchronize by brucemiller
August 30, 2023 14:30 12m 46s logo-fixes
logo-fixes
August 30, 2023 14:30 12m 46s
Update test for logo Windows #1144: Commit d2036cc pushed by brucemiller
August 30, 2023 14:30 14m 7s logo-fixes
logo-fixes
August 30, 2023 14:30 14m 7s
Update test for logo Linux #1144: Commit d2036cc pushed by brucemiller
August 30, 2023 14:30 17m 45s logo-fixes
logo-fixes
August 30, 2023 14:30 17m 45s
Logo fixes Windows #1143: Pull request #2206 opened by brucemiller
August 30, 2023 14:13 14m 42s logo-fixes
logo-fixes
August 30, 2023 14:13 14m 42s
Logo fixes Linux #1143: Pull request #2206 opened by brucemiller
August 30, 2023 14:13 15m 39s logo-fixes
logo-fixes
August 30, 2023 14:13 15m 39s
Update tests for changed logos Linux #1142: Commit 8b55904 pushed by brucemiller
August 30, 2023 14:11 17m 15s logo-fixes
logo-fixes
August 30, 2023 14:11 17m 15s
Update tests for changed logos Windows #1142: Commit 8b55904 pushed by brucemiller
August 30, 2023 14:11 12m 50s logo-fixes
logo-fixes
August 30, 2023 14:11 12m 50s
ProTip! You can narrow down the results and go further in time using created:<2023-08-30 or the other filters available.