Skip to content

Actions: rmatthes/TypeTheory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build TypeTheory Build TypeTheory #48: Scheduled
April 15, 2024 04:12 4m 51s master
master
April 15, 2024 04:12 4m 51s
Build TypeTheory Build TypeTheory #47: Scheduled
April 8, 2024 03:14 4m 37s master
master
April 8, 2024 03:14 4m 37s
Build TypeTheory Build TypeTheory #46: Scheduled
April 1, 2024 03:13 4m 46s master
master
April 1, 2024 03:13 4m 46s
Build TypeTheory Build TypeTheory #45: Scheduled
March 25, 2024 03:15 4m 35s master
master
March 25, 2024 03:15 4m 35s
Build TypeTheory Build TypeTheory #44: Scheduled
March 18, 2024 03:13 4m 22s master
master
March 18, 2024 03:13 4m 22s
Build TypeTheory Build TypeTheory #43: Scheduled
March 11, 2024 03:15 4m 45s master
master
March 11, 2024 03:15 4m 45s
Build TypeTheory Build TypeTheory #42: Scheduled
March 4, 2024 03:41 4m 28s master
master
March 4, 2024 03:41 4m 28s
Build TypeTheory Build TypeTheory #41: Scheduled
February 26, 2024 03:13 4m 29s master
master
February 26, 2024 03:13 4m 29s
Build TypeTheory Build TypeTheory #40: Scheduled
February 19, 2024 03:13 4m 21s master
master
February 19, 2024 03:13 4m 21s
Build TypeTheory Build TypeTheory #39: Scheduled
February 12, 2024 03:12 4m 5s master
master
February 12, 2024 03:12 4m 5s
Merge pull request #244 from rmatthes/githubactionsv4 Build TypeTheory #38: Commit 039a6bc pushed by rmatthes
February 8, 2024 19:05 4m 22s master
master
February 8, 2024 19:05 4m 22s
Build TypeTheory Build TypeTheory #37: Scheduled
October 30, 2023 03:11 6m 11s master
master
October 30, 2023 03:11 6m 11s
Build TypeTheory Build TypeTheory #36: Scheduled
October 23, 2023 03:11 6m 46s master
master
October 23, 2023 03:11 6m 46s
Build TypeTheory Build TypeTheory #35: Scheduled
October 16, 2023 03:11 6m 51s master
master
October 16, 2023 03:11 6m 51s
Build TypeTheory Build TypeTheory #34: Scheduled
October 9, 2023 03:10 6m 13s master
master
October 9, 2023 03:10 6m 13s
Build TypeTheory Build TypeTheory #33: Scheduled
October 2, 2023 03:10 6m 24s master
master
October 2, 2023 03:10 6m 24s
Build TypeTheory Build TypeTheory #32: Scheduled
September 25, 2023 03:10 7m 20s master
master
September 25, 2023 03:10 7m 20s
Build TypeTheory Build TypeTheory #31: Scheduled
September 18, 2023 03:10 6m 39s master
master
September 18, 2023 03:10 6m 39s
Build TypeTheory Build TypeTheory #30: Scheduled
September 11, 2023 03:10 6m 36s master
master
September 11, 2023 03:10 6m 36s
Build TypeTheory Build TypeTheory #29: Scheduled
September 4, 2023 03:10 7m 54s master
master
September 4, 2023 03:10 7m 54s
Merge pull request #241 from rmatthes/restorecompafterunimathPR1768 Build TypeTheory #28: Commit 3dfd601 pushed by rmatthes
August 29, 2023 16:12 8m 14s master
master
August 29, 2023 16:12 8m 14s
Build TypeTheory Build TypeTheory #27: Scheduled
August 28, 2023 03:10 6m 37s master
master
August 28, 2023 03:10 6m 37s
Build TypeTheory Build TypeTheory #26: Scheduled
August 21, 2023 03:10 7m 17s master
master
August 21, 2023 03:10 7m 17s
Merge pull request #240 from rmatthes/restorecompilationafterUniMathP… Build TypeTheory #25: Commit 7205f8b pushed by rmatthes
August 16, 2023 14:56 8m 33s master
master
August 16, 2023 14:56 8m 33s