Skip to content

Actions: rocq-community/trocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
428 workflow runs
428 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
Docs for parametricity for inductive types Nix CI for bundle rocq-9.1 #183: Pull request #94 synchronize by Tvallejos
8m 56s Tvallejos:docs_gen_inductives
Tvallejos:docs_gen_inductives
8m 56s
Docs for parametricity for inductive types Nix CI for bundle rocq-9.0 #180: Pull request #94 synchronize by Tvallejos
9s
9s
Docs for parametricity for inductive types Nix CI for bundle rocq-9.1 #182: Pull request #94 synchronize by Tvallejos
14s
14s
Docs for parametricity for inductive types Nix CI for bundle rocq-9.1 #181: Pull request #94 opened by Tvallejos
4m 15s Tvallejos:docs_gen_inductives
Tvallejos:docs_gen_inductives
4m 15s
Docs for parametricity for inductive types Nix CI for bundle rocq-9.1 #180: Pull request #94 opened by Tvallejos
9s
9s
Docs for parametricity for inductive types Nix CI for bundle rocq-9.0 #179: Pull request #94 opened by Tvallejos
10s
10s
Param_vector/Param_lemmas: repair make std and make hott on Rocq dev Nix CI for bundle rocq-9.0 #178: Pull request #93 opened by JasonGross
17s
17s
Param_vector/Param_lemmas: repair make std and make hott on Rocq dev Nix CI for bundle rocq-9.1 #179: Pull request #93 opened by JasonGross
14s
14s
upgrade to elpi 3.5.0 Nix CI for bundle rocq-9.1 #178: Pull request #90 synchronize by Tvallejos
9m 8s Tvallejos:elpi-3.5
Tvallejos:elpi-3.5
9m 8s
upgrade to elpi 3.5.0 Nix CI for bundle rocq-9.1 #177: Pull request #90 synchronize by Tvallejos
18s
18s
upgrade to elpi 3.5.0 Nix CI for bundle rocq-9.0 #177: Pull request #90 synchronize by Tvallejos
13s
13s
upgrade to elpi 3.5.0 Nix CI for bundle rocq-9.1 #176: Pull request #90 opened by Tvallejos
8s
8s
upgrade to elpi 3.5.0 Nix CI for bundle rocq-9.0 #176: Pull request #90 opened by Tvallejos
13s
13s
New Annotated type theory Nix CI for bundle rocq-9.1 #175: Pull request #81 synchronize by MysaaJava
10s
10s
New Annotated type theory Nix CI for bundle rocq-9.0 #175: Pull request #81 synchronize by MysaaJava
12s
12s
New Annotated type theory Nix CI for bundle rocq-9.0 #174: Pull request #81 synchronize by MysaaJava
7s
7s
New Annotated type theory Nix CI for bundle rocq-9.1 #174: Pull request #81 synchronize by MysaaJava
10s
10s
New Annotated type theory Nix CI for bundle rocq-9.0 #173: Pull request #81 synchronize by MysaaJava
7s
7s
New Annotated type theory Nix CI for bundle rocq-9.1 #173: Pull request #81 synchronize by MysaaJava
25s
25s
New Annotated type theory Nix CI for bundle rocq-9.0 #172: Pull request #81 synchronize by MysaaJava
4m 12s
4m 12s
New Annotated type theory Nix CI for bundle rocq-9.1 #172: Pull request #81 synchronize by MysaaJava
4m 4s
4m 4s
New Annotated type theory Nix CI for bundle rocq-9.0 #171: Pull request #81 synchronize by MysaaJava
2m 41s
2m 41s
New Annotated type theory Nix CI for bundle rocq-9.1 #171: Pull request #81 synchronize by MysaaJava
2m 30s
2m 30s
New Annotated type theory Nix CI for bundle rocq-9.0 #170: Pull request #81 synchronize by MysaaJava
3m 7s
3m 7s
New Annotated type theory Nix CI for bundle rocq-9.1 #170: Pull request #81 synchronize by MysaaJava
3m 19s MysaaJava:annotated-term
MysaaJava:annotated-term
3m 19s