Skip to content

Actions: UniMath/TypeTheory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Build TypeTheory Build TypeTheory #253: Scheduled
3m 54s master
master
3m 54s
Build TypeTheory Build TypeTheory #252: Scheduled
3m 52s master
master
3m 52s
Build TypeTheory Build TypeTheory #251: Scheduled
2m 28s master
master
2m 28s
Build TypeTheory Build TypeTheory #250: Scheduled
3m 50s master
master
3m 50s
Build TypeTheory Build TypeTheory #249: Scheduled
3m 48s master
master
3m 48s
Build TypeTheory Build TypeTheory #248: Scheduled
3m 41s master
master
3m 41s
Build TypeTheory Build TypeTheory #247: Scheduled
3m 44s master
master
3m 44s
Build TypeTheory Build TypeTheory #246: Scheduled
3m 41s master
master
3m 41s
Build TypeTheory Build TypeTheory #245: Scheduled
3m 57s master
master
3m 57s
Merge pull request #257 from rmatthes/adapttorocqbuildlang Build TypeTheory #244: Commit d5d992d pushed by rmatthes
3m 49s master
master
3m 49s
dune config from Coq to Rocq, not mentioning -type-in-type Build TypeTheory #243: Pull request #257 opened by rmatthes
3m 47s rmatthes:adapttorocqbuildlang
rmatthes:adapttorocqbuildlang
3m 47s
Merge pull request #256 from rmatthes/restorecompilationforRocq94alpha Build TypeTheory #242: Commit 08e9709 pushed by nmvdw
3m 51s master
master
3m 51s
restoring compilation in Rocq 9.4alpha Build TypeTheory #241: Pull request #256 synchronize by rmatthes
2m 49s rmatthes:restorecompilationforRocq94alpha
rmatthes:restorecompilationforRocq94alpha
2m 49s
restoring compilation in Rocq 9.4alpha Build TypeTheory #240: Pull request #256 synchronize by rmatthes
3m 37s rmatthes:restorecompilationforRocq94alpha
rmatthes:restorecompilationforRocq94alpha
3m 37s
restoring compilation in Rocq 9.4alpha Build TypeTheory #239: Pull request #256 by rmatthes
-1s rmatthes:restorecompilationforRocq94alpha
rmatthes:restorecompilationforRocq94alpha
-1s
restoring compilation in Rocq 9.4alpha Build TypeTheory #238: Pull request #256 by rmatthes
Failure rmatthes:restorecompilationforRocq94alpha
rmatthes:restorecompilationforRocq94alpha
Failure
restoring compilation in Rocq 9.4alpha Build TypeTheory #237: Pull request #256 synchronize by rmatthes
3m 37s rmatthes:restorecompilationforRocq94alpha
rmatthes:restorecompilationforRocq94alpha
3m 37s
restoring compilation in Rocq 9.4alpha Build TypeTheory #236: Pull request #256 synchronize by rmatthes
3m 30s rmatthes:restorecompilationforRocq94alpha
rmatthes:restorecompilationforRocq94alpha
3m 30s
restoring compilation in Rocq 9.4alpha Build TypeTheory #235: Pull request #256 synchronize by rmatthes
2m 0s rmatthes:restorecompilationforRocq94alpha
rmatthes:restorecompilationforRocq94alpha
2m 0s
restoring compilation in Rocq 9.4alpha Build TypeTheory #234: Pull request #256 by rmatthes
Failure rmatthes:restorecompilationforRocq94alpha
rmatthes:restorecompilationforRocq94alpha
Failure
restoring compilation in Rocq 9.4alpha Build TypeTheory #233: Pull request #256 by rmatthes
Failure rmatthes:restorecompilationforRocq94alpha
rmatthes:restorecompilationforRocq94alpha
Failure
restoring compilation in Rocq 9.4alpha Build TypeTheory #232: Pull request #256 by rmatthes
Failure rmatthes:restorecompilationforRocq94alpha
rmatthes:restorecompilationforRocq94alpha
Failure
Build TypeTheory Build TypeTheory #231: Manually run by rmatthes
2m 50s master
master
2m 50s