Skip to content

Actions: UniMath/TypeTheory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move limit diagrams to their own file Build TypeTheory #206: Pull request #251 opened by arnoudvanderleer
January 29, 2025 16:46 3m 21s arnoudvanderleer:limit-diagrams
arnoudvanderleer:limit-diagrams
January 29, 2025 16:46 3m 21s
Build TypeTheory Build TypeTheory #205: Scheduled
January 27, 2025 03:23 4m 32s master
master
January 27, 2025 03:23 4m 32s
Merge pull request #250 from peterlefanulumsdaine/adapt-notation-level Build TypeTheory #204: Commit 39b2adc pushed by peterlefanulumsdaine
January 21, 2025 03:47 5m 1s master
master
January 21, 2025 03:47 5m 1s
Build TypeTheory Build TypeTheory #203: Scheduled
May 13, 2024 03:08 5m 7s master
master
May 13, 2024 03:08 5m 7s
Build TypeTheory Build TypeTheory #202: Scheduled
May 6, 2024 03:08 4m 57s master
master
May 6, 2024 03:08 4m 57s
Build TypeTheory Build TypeTheory #201: Scheduled
April 29, 2024 03:08 5m 2s master
master
April 29, 2024 03:08 5m 2s
Build TypeTheory Build TypeTheory #200: Scheduled
April 22, 2024 03:08 4m 55s master
master
April 22, 2024 03:08 4m 55s
Build TypeTheory Build TypeTheory #199: Scheduled
April 15, 2024 04:10 5m 9s master
master
April 15, 2024 04:10 5m 9s
Build TypeTheory Build TypeTheory #198: Scheduled
April 8, 2024 03:07 5m 9s master
master
April 8, 2024 03:07 5m 9s
Build TypeTheory Build TypeTheory #197: Scheduled
April 1, 2024 03:07 5m 12s master
master
April 1, 2024 03:07 5m 12s
Build TypeTheory Build TypeTheory #196: Scheduled
March 25, 2024 03:08 4m 52s master
master
March 25, 2024 03:08 4m 52s
Build TypeTheory Build TypeTheory #195: Scheduled
March 18, 2024 03:08 4m 56s master
master
March 18, 2024 03:08 4m 56s
Build TypeTheory Build TypeTheory #194: Scheduled
March 11, 2024 03:09 5m 1s master
master
March 11, 2024 03:09 5m 1s
Build TypeTheory Build TypeTheory #193: Scheduled
March 4, 2024 03:37 4m 57s master
master
March 4, 2024 03:37 4m 57s
Build TypeTheory Build TypeTheory #192: Scheduled
February 26, 2024 03:08 4m 41s master
master
February 26, 2024 03:08 4m 41s
Build TypeTheory Build TypeTheory #191: Scheduled
February 19, 2024 03:07 4m 42s master
master
February 19, 2024 03:07 4m 42s
Build TypeTheory Build TypeTheory #190: Scheduled
February 12, 2024 03:07 4m 29s master
master
February 12, 2024 03:07 4m 29s
Merge pull request #244 from rmatthes/githubactionsv4 Build TypeTheory #189: Commit 039a6bc pushed by rmatthes
February 8, 2024 19:04 4m 45s master
master
February 8, 2024 19:04 4m 45s
GitHub action v3 -> v4, Dune language 3.5 -> 3.8, Coq language 0.6 -> 0.8 Build TypeTheory #188: Pull request #244 synchronize by rmatthes
February 7, 2024 22:41 1m 34s rmatthes:githubactionsv4
rmatthes:githubactionsv4
February 7, 2024 22:41 1m 34s
GitHub action v3 -> v4, Dune language 3.5 -> 3.8, Coq language 0.6 -> 0.8 Build TypeTheory #187: Pull request #244 opened by rmatthes
February 7, 2024 21:56 3m 8s rmatthes:githubactionsv4
rmatthes:githubactionsv4
February 7, 2024 21:56 3m 8s
Merge pull request #243 from arnoudvanderleer/rename-category-packages Build TypeTheory #186: Commit d6f8dca pushed by rmatthes
February 7, 2024 17:57 4m 49s master
master
February 7, 2024 17:57 4m 49s
Update references to category packages Build TypeTheory #185: Pull request #243 opened by arnoudvanderleer
February 7, 2024 12:33 4m 51s arnoudvanderleer:rename-category-packages
arnoudvanderleer:rename-category-packages
February 7, 2024 12:33 4m 51s
Build TypeTheory Build TypeTheory #184: Scheduled
February 5, 2024 03:08 4m 31s master
master
February 5, 2024 03:08 4m 31s
Merge pull request #242 from rmatthes/followupstreamPR1829 Build TypeTheory #183: Commit c506b8f pushed by benediktahrens
January 30, 2024 15:43 4m 47s master
master
January 30, 2024 15:43 4m 47s
Build TypeTheory Build TypeTheory #182: Scheduled
January 29, 2024 03:07 4m 28s master
master
January 29, 2024 03:07 4m 28s