Skip to content

Actions: dokempf/UseLatexMk

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

Fix handling of file names, introduced by support for minted CI #21: Pull request #16 opened by gruenich
December 9, 2023 11:40 16s gruenich:feature/fix-handling-minted
gruenich:feature/fix-handling-minted
December 9, 2023 11:40 16s
Merge pull request #15 from gruenich/feature/improvements-from-dune-p… CI #20: Commit ddadf41 pushed by dokempf
December 2, 2023 07:27 14s main
main
December 2, 2023 07:27 14s
Upstream changes from Dune Project CI #19: Pull request #15 synchronize by gruenich
November 22, 2023 21:27 16s feature/improvements-from-dune-project
feature/improvements-from-dune-project
November 22, 2023 21:27 16s
Upstream changes from Dune Project CI #18: Pull request #15 opened by gruenich
November 22, 2023 19:41 17s feature/improvements-from-dune-project
feature/improvements-from-dune-project
November 22, 2023 19:41 17s
Merge pull request #13 from gruenich/feature/require-cmake-3.5 CI #17: Commit 7922306 pushed by dokempf
November 22, 2023 10:44 19s main
main
November 22, 2023 10:44 19s
Require CMake version 3.5 or newer. CI #16: Pull request #13 synchronize by gruenich
November 21, 2023 10:40 18s feature/require-cmake-3.5
feature/require-cmake-3.5
November 21, 2023 10:40 18s
Merge pull request #14 from gruenich/feature/update-CI CI #15: Commit b27f1ac pushed by dokempf
November 21, 2023 10:12 48s main
main
November 21, 2023 10:12 48s
Require CMake version 3.5 or newer. CI #14: Pull request #13 synchronize by gruenich
November 20, 2023 21:28 12h 44m 30s feature/require-cmake-3.5
feature/require-cmake-3.5
November 20, 2023 21:28 12h 44m 30s
[CI] Update CI runner from Ubuntu 18.04 to 22.04 CI #13: Pull request #14 opened by gruenich
November 18, 2023 23:32 15s feature/update-CI
feature/update-CI
November 18, 2023 23:32 15s
Require CMake version 3.5 or newer. CI #12: Pull request #13 opened by gruenich
November 17, 2023 22:59 1d 0h 17m 19s feature/require-cmake-3.5
feature/require-cmake-3.5
November 17, 2023 22:59 1d 0h 17m 19s