Skip to content

Actions: UniMath/TypeTheory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build TypeTheory Build TypeTheory #182: Scheduled
January 29, 2024 03:07 4m 28s master
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
rmatthes:followupstreamPR1829
January 25, 2024 18:41 4m 32s
Build TypeTheory Build TypeTheory #180: Scheduled
January 22, 2024 03:08 4m 56s master
master
January 22, 2024 03:08 4m 56s
Build TypeTheory Build TypeTheory #179: Scheduled
January 15, 2024 03:07 4m 28s master
master
January 15, 2024 03:07 4m 28s
Build TypeTheory Build TypeTheory #178: Scheduled
January 8, 2024 03:07 4m 26s master
master
January 8, 2024 03:07 4m 26s
Build TypeTheory Build TypeTheory #177: Scheduled
January 1, 2024 03:08 4m 31s master
master
January 1, 2024 03:08 4m 31s
Build TypeTheory Build TypeTheory #176: Scheduled
December 25, 2023 03:07 4m 36s master
master
December 25, 2023 03:07 4m 36s
Build TypeTheory Build TypeTheory #175: Scheduled
December 18, 2023 03:07 4m 30s master
master
December 18, 2023 03:07 4m 30s
Build TypeTheory Build TypeTheory #174: Scheduled
December 11, 2023 03:08 4m 31s master
master
December 11, 2023 03:08 4m 31s
Build TypeTheory Build TypeTheory #173: Scheduled
December 4, 2023 03:07 4m 36s master
master
December 4, 2023 03:07 4m 36s
Build TypeTheory Build TypeTheory #172: Scheduled
November 27, 2023 03:07 4m 32s master
master
November 27, 2023 03:07 4m 32s