Skip to content

Actions: UniMath/largecatmodules

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build largecatmodules Build largecatmodules #86: Scheduled
February 12, 2024 03:16 6m 46s master
master
February 12, 2024 03:16 6m 46s
GitHub action v3 -> v4, Dune language 3.5 -> 3.8, Coq language 0.6 -> 0.8 Build largecatmodules #85: Pull request #153 synchronize by rmatthes
February 7, 2024 22:39 1m 16s rmatthes:githubactionsv4
rmatthes:githubactionsv4
February 7, 2024 22:39 1m 16s
GitHub action v3 -> v4, Dune language 3.5 -> 3.8, Coq language 0.6 -> 0.8 Build largecatmodules #84: Pull request #153 synchronize by rmatthes
February 7, 2024 22:16 8m 27s rmatthes:githubactionsv4
rmatthes:githubactionsv4
February 7, 2024 22:16 8m 27s
GitHub action v3 -> v4, Dune language 3.5 -> 3.8, Coq language 0.6 -> 0.8 Build largecatmodules #83: Pull request #153 opened by rmatthes
February 7, 2024 22:02 1m 41s rmatthes:githubactionsv4
rmatthes:githubactionsv4
February 7, 2024 22:02 1m 41s
Merge pull request #152 from arnoudvanderleer/rename-category-packages Build largecatmodules #82: Commit f7b0b31 pushed by benediktahrens
February 7, 2024 17:01 7m 6s master
master
February 7, 2024 17:01 7m 6s
Build largecatmodules Build largecatmodules #81: Manually run by rmatthes
February 7, 2024 16:45 6m 40s master
master
February 7, 2024 16:45 6m 40s
Build largecatmodules Build largecatmodules #80: Scheduled
September 25, 2023 03:13 10m 51s master
master
September 25, 2023 03:13 10m 51s
Build largecatmodules Build largecatmodules #79: Scheduled
September 18, 2023 03:13 10m 25s master
master
September 18, 2023 03:13 10m 25s
Build largecatmodules Build largecatmodules #78: Scheduled
September 11, 2023 03:13 10m 34s master
master
September 11, 2023 03:13 10m 34s