Skip to content

Actions: dokempf/UseLatexMk

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
10 workflow runs
10 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
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