Skip to content

Actions: UniMath/largecatmodules

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 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
Build largecatmodules Build largecatmodules #77: Scheduled
September 4, 2023 03:13 11m 28s master
master
September 4, 2023 03:13 11m 28s
Build largecatmodules Build largecatmodules #76: Scheduled
August 28, 2023 03:13 14m 13s master
master
August 28, 2023 03:13 14m 13s
Build largecatmodules Build largecatmodules #75: Scheduled
August 21, 2023 03:12 11m 53s master
master
August 21, 2023 03:12 11m 53s
Build largecatmodules Build largecatmodules #74: Scheduled
August 14, 2023 03:12 10m 25s master
master
August 14, 2023 03:12 10m 25s
Build largecatmodules Build largecatmodules #73: Scheduled
August 7, 2023 03:12 10m 31s master
master
August 7, 2023 03:12 10m 31s
Build largecatmodules Build largecatmodules #72: Scheduled
July 31, 2023 03:13 11m 12s master
master
July 31, 2023 03:13 11m 12s
Build largecatmodules Build largecatmodules #71: Scheduled
July 24, 2023 03:13 10m 45s master
master
July 24, 2023 03:13 10m 45s
Merge pull request #150 from rmatthes/repairafterUniMathPR1739 Build largecatmodules #70: Commit b6943b9 pushed by rmatthes
July 21, 2023 20:57 12m 37s master
master
July 21, 2023 20:57 12m 37s
makes this satellite compile again after merging UniMath PR1739 Build largecatmodules #69: Pull request #150 opened by rmatthes
July 21, 2023 17:04 10m 27s rmatthes:repairafterUniMathPR1739
rmatthes:repairafterUniMathPR1739
July 21, 2023 17:04 10m 27s
Build largecatmodules Build largecatmodules #68: Scheduled
July 17, 2023 03:27 10m 37s master
master
July 17, 2023 03:27 10m 37s
Build largecatmodules Build largecatmodules #67: Scheduled
July 10, 2023 03:27 14m 2s master
master
July 10, 2023 03:27 14m 2s
Build largecatmodules Build largecatmodules #66: Scheduled
July 3, 2023 03:24 12m 22s master
master
July 3, 2023 03:24 12m 22s