Skip to content

Actions: UniMath/TypeTheory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 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 #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