Skip to content

Actions: Gbury/dolmen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
131 workflow runs
131 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
Add Integer exponentiation build #775: Pull request #259 synchronize by Gbury
6m 22s int_exp
int_exp
6m 22s
Add Integer exponentiation install #730: Pull request #259 synchronize by Gbury
41m 11s int_exp
int_exp
41m 11s
Add Integer exponentiation build #774: Pull request #259 opened by Gbury
5m 23s int_exp
int_exp
5m 23s
Add Integer exponentiation install #729: Pull request #259 opened by Gbury
30m 43s int_exp
int_exp
30m 43s
Correctly handle smt2.7 map application syntactic sugar in annotation… build #773: Commit b27d036 pushed by Gbury
7m 18s master
master
7m 18s
Correctly handle smt2.7 map application syntactic sugar in annotation… install #728: Commit b27d036 pushed by Gbury
30m 9s master
master
30m 9s
Handle exponentiation install #727: Commit bc9636e pushed by Gbury
24m 6s master
master
24m 6s
Handle exponentiation build #772: Commit bc9636e pushed by Gbury
8m 59s master
master
8m 59s
Correctly handle smt2.7 map application syntactic sugar in annotation… install #726: Commit b27d036 pushed by Gbury
23m 55s master
master
23m 55s
Correctly handle smt2.7 map application syntactic sugar in annotation… build #771: Commit b27d036 pushed by Gbury
8m 23s master
master
8m 23s
Correctly handle smt2.7 map application syntactic sugar in annotations install #725: Pull request #258 opened by Gbury
24m 6s poly_map_in_pattern
poly_map_in_pattern
24m 6s
Correctly handle smt2.7 map application syntactic sugar in annotations build #770: Pull request #258 opened by Gbury
7m 55s poly_map_in_pattern
poly_map_in_pattern
7m 55s
Try and fix Menhir tests (#255) build #769: Commit 6c96de7 pushed by Gbury
4m 28s master
master
4m 28s
Try and fix Menhir tests (#255) install #724: Commit 6c96de7 pushed by Gbury
16m 1s master
master
16m 1s
Try and fix Menhir tests build #768: Pull request #255 synchronize by Gbury
4m 37s menhir_tests
menhir_tests
4m 37s
Try and fix Menhir tests install #723: Pull request #255 synchronize by Gbury
13m 8s menhir_tests
menhir_tests
13m 8s
Try and fix Menhir tests build #767: Pull request #255 opened by Gbury
36s menhir_tests
menhir_tests
36s
Try and fix Menhir tests install #722: Pull request #255 opened by Gbury
20m 46s menhir_tests
menhir_tests
20m 46s
pages build and deployment pages-build-deployment #95: by github-pages Bot
43s gh-pages
gh-pages
43s
Fixes for implicit type vars and datatype decls in smt-lib install #721: Commit 3a2518a pushed by Gbury
26m 46s master
master
26m 46s
Fixes for implicit type vars and datatype decls in smt-lib build #766: Commit 3a2518a pushed by Gbury
4m 15s master
master
4m 15s
Fix some small typos in the documentation install #720: Commit bf331de pushed by Gbury
16m 45s master
master
16m 45s
Fix some small typos in the documentation build #765: Commit bf331de pushed by Gbury
3m 56s master
master
3m 56s
Fixes for implicit type vars and datatype decls in smt-lib install #719: Pull request #254 synchronize by Gbury
3m 52s implicit_type_params_and_datatype_decls
implicit_type_params_and_datatype_decls
3m 52s
Fixes for implicit type vars and datatype decls in smt-lib build #764: Pull request #254 synchronize by Gbury
7m 12s implicit_type_params_and_datatype_decls
implicit_type_params_and_datatype_decls
7m 12s