Skip to content

Actions: UniMath/TypeTheory

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build TypeTheory
Build TypeTheory #203: Scheduled
May 13, 2024 03:08 5m 7s master
May 13, 2024 03:08 5m 7s
Build TypeTheory
Build TypeTheory #202: Scheduled
May 6, 2024 03:08 4m 57s master
May 6, 2024 03:08 4m 57s
Build TypeTheory
Build TypeTheory #201: Scheduled
April 29, 2024 03:08 5m 2s master
April 29, 2024 03:08 5m 2s
Build TypeTheory
Build TypeTheory #200: Scheduled
April 22, 2024 03:08 4m 55s master
April 22, 2024 03:08 4m 55s
Build TypeTheory
Build TypeTheory #199: Scheduled
April 15, 2024 04:10 5m 9s master
April 15, 2024 04:10 5m 9s
Build TypeTheory
Build TypeTheory #198: Scheduled
April 8, 2024 03:07 5m 9s master
April 8, 2024 03:07 5m 9s
Build TypeTheory
Build TypeTheory #197: Scheduled
April 1, 2024 03:07 5m 12s master
April 1, 2024 03:07 5m 12s
Build TypeTheory
Build TypeTheory #196: Scheduled
March 25, 2024 03:08 4m 52s master
March 25, 2024 03:08 4m 52s
Build TypeTheory
Build TypeTheory #195: Scheduled
March 18, 2024 03:08 4m 56s master
March 18, 2024 03:08 4m 56s
Build TypeTheory
Build TypeTheory #194: Scheduled
March 11, 2024 03:09 5m 1s master
March 11, 2024 03:09 5m 1s
Build TypeTheory
Build TypeTheory #193: Scheduled
March 4, 2024 03:37 4m 57s master
March 4, 2024 03:37 4m 57s
Build TypeTheory
Build TypeTheory #192: Scheduled
February 26, 2024 03:08 4m 41s master
February 26, 2024 03:08 4m 41s
Build TypeTheory
Build TypeTheory #191: Scheduled
February 19, 2024 03:07 4m 42s master
February 19, 2024 03:07 4m 42s
Build TypeTheory
Build TypeTheory #190: Scheduled
February 12, 2024 03:07 4m 29s 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
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
February 7, 2024 22:41 1m 34s
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
February 7, 2024 17:57 4m 49s
Build TypeTheory
Build TypeTheory #184: Scheduled
February 5, 2024 03:08 4m 31s 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
January 30, 2024 15:43 4m 47s
Build TypeTheory
Build TypeTheory #182: Scheduled
January 29, 2024 03:07 4m 28s master
January 29, 2024 03:07 4m 28s
restores compilation after UniMath PR1829
Build TypeTheory #181: Pull request #242 opened by rmatthes
January 25, 2024 18:41 4m 32s rmatthes:followupstreamPR1829
January 25, 2024 18:41 4m 32s
Build TypeTheory
Build TypeTheory #180: Scheduled
January 22, 2024 03:08 4m 56s master
January 22, 2024 03:08 4m 56s
Build TypeTheory
Build TypeTheory #179: Scheduled
January 15, 2024 03:07 4m 28s master
January 15, 2024 03:07 4m 28s