Skip to content

Actions: rocq-community/trocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
367 workflow runs
367 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
Hooking Trocq to Rocq's coercion algorithm Nix CI for bundle rocq-9.1 #89: Pull request #66 synchronize by MysaaJava
8m 32s
8m 32s
Hooking Trocq to Rocq's coercion algorithm Nix CI for bundle rocq-9.0 #89: Pull request #66 synchronize by MysaaJava
6m 36s
6m 36s
Algorithm for populating Trocq database for inductives Nix CI for bundle rocq-9.1 #88: Pull request #73 synchronize by Tvallejos
4m 50s
4m 50s
Algorithm for populating Trocq database for inductives Nix CI for bundle rocq-9.0 #88: Pull request #73 synchronize by Tvallejos
4m 58s
4m 58s
Algorithm for populating Trocq database for inductives Nix CI for bundle rocq-9.1 #87: Pull request #73 synchronize by Tvallejos
5m 13s
5m 13s
Algorithm for populating Trocq database for inductives Nix CI for bundle rocq-9.0 #87: Pull request #73 synchronize by Tvallejos
5m 6s
5m 6s
Algorithm for populating Trocq database for inductives Nix CI for bundle rocq-9.1 #86: Pull request #73 synchronize by Tvallejos
4m 15s
4m 15s
Algorithm for populating Trocq database for inductives Nix CI for bundle rocq-9.0 #86: Pull request #73 synchronize by Tvallejos
5m 5s
5m 5s
Hooking Trocq to Rocq's coercion algorithm Nix CI for bundle rocq-9.0 #85: Pull request #66 synchronize by MysaaJava
4m 36s
4m 36s
Hooking Trocq to Rocq's coercion algorithm Nix CI for bundle rocq-9.1 #85: Pull request #66 synchronize by MysaaJava
4m 41s
4m 41s
Hooking Trocq to Rocq's coercion algorithm Nix CI for bundle rocq-9.1 #84: Pull request #66 synchronize by MysaaJava
4m 57s
4m 57s
Hooking Trocq to Rocq's coercion algorithm Nix CI for bundle rocq-9.0 #84: Pull request #66 synchronize by MysaaJava
5m 1s
5m 1s
Hooking Trocq to Rocq's coercion algorithm Nix CI for bundle rocq-9.0 #83: Pull request #66 synchronize by MysaaJava
4m 39s
4m 39s
Hooking Trocq to Rocq's coercion algorithm Nix CI for bundle rocq-9.1 #83: Pull request #66 synchronize by MysaaJava
5m 39s
5m 39s
Hooking Trocq to Rocq's coercion algorithm Nix CI for bundle rocq-9.0 #82: Pull request #66 synchronize by MysaaJava
4m 33s
4m 33s
Hooking Trocq to Rocq's coercion algorithm Nix CI for bundle rocq-9.1 #82: Pull request #66 synchronize by MysaaJava
5m 29s
5m 29s
Hooking Trocq to Rocq's coercion algorithm Nix CI for bundle rocq-9.0 #81: Pull request #66 synchronize by MysaaJava
5m 3s
5m 3s
Hooking Trocq to Rocq's coercion algorithm Nix CI for bundle rocq-9.1 #81: Pull request #66 synchronize by MysaaJava
5m 50s
5m 50s
Algorithm for populating Trocq database for inductives Nix CI for bundle rocq-9.0 #80: Pull request #73 synchronize by Tvallejos
5m 15s
5m 15s
Algorithm for populating Trocq database for inductives Nix CI for bundle rocq-9.1 #80: Pull request #73 synchronize by Tvallejos
5m 24s
5m 24s
Algorithm for populating Trocq database for inductives Nix CI for bundle rocq-9.0 #79: Pull request #73 synchronize by Tvallejos
2m 48s
2m 48s
Algorithm for populating Trocq database for inductives Nix CI for bundle rocq-9.1 #79: Pull request #73 synchronize by Tvallejos
3m 13s
3m 13s
Algorithm for populating Trocq database for inductives Nix CI for bundle rocq-9.0 #78: Pull request #73 synchronize by Tvallejos
2m 54s
2m 54s
Algorithm for populating Trocq database for inductives Nix CI for bundle rocq-9.1 #78: Pull request #73 synchronize by Tvallejos
3m 36s
3m 36s
Hooking Trocq to Rocq's coercion algorithm Nix CI for bundle rocq-9.1 #77: Pull request #66 synchronize by MysaaJava
5m 1s
5m 1s