Skip to content

Actions: dupuisf/BibtexQuery

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

toolchain bump Lean Action CI #12: Commit 46376bc pushed by dupuisf
December 4, 2024 03:13 39s master
master
December 4, 2024 03:13 39s
Merge pull request #8 from acmepjz/acmepjz_tex_parser Lean Action CI #11: Commit 982700b pushed by dupuisf
November 16, 2024 18:49 37s master
master
November 16, 2024 18:49 37s
refactor tex parsing code Lean Action CI #10: Pull request #8 synchronize by acmepjz
November 16, 2024 12:08 26s acmepjz:acmepjz_tex_parser
acmepjz:acmepjz_tex_parser
November 16, 2024 12:08 26s
refactor tex parsing code Lean Action CI #9: Pull request #8 synchronize by acmepjz
November 15, 2024 11:50 40s acmepjz:acmepjz_tex_parser
acmepjz:acmepjz_tex_parser
November 15, 2024 11:50 40s
chore: bump toolchain to v4.13.0 Lean Action CI #8: Commit bdc2fc3 pushed by dupuisf
November 1, 2024 03:16 40s master
master
November 1, 2024 03:16 40s
Merge pull request #18 from kim-em/deprecations Lean Action CI #7: Commit eab1d9b pushed by dupuisf
November 1, 2024 03:14 36s master
master
November 1, 2024 03:14 36s
Merge pull request #14 from fgdorais/patch-1 Lean Action CI #4: Commit 85e1e71 pushed by dupuisf
September 4, 2024 19:01 32s master
master
September 4, 2024 19:01 32s
refactor tex parsing code Lean Action CI #3: Pull request #8 synchronize by acmepjz
September 4, 2024 08:50 31s acmepjz:acmepjz_tex_parser
acmepjz:acmepjz_tex_parser
September 4, 2024 08:50 31s
chore: dummy PR Lean Action CI #2: Pull request #16 opened by fgdorais
September 4, 2024 00:06 25s fgdorais:ci-testing
fgdorais:ci-testing
September 4, 2024 00:06 25s
Merge pull request #15 from fgdorais/ci-basic Lean Action CI #1: Commit 3ed65a5 pushed by dupuisf
September 3, 2024 23:52 36s master
master
September 3, 2024 23:52 36s