Skip to content

Actions: Gbury/dolmen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
172 workflow runs
172 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
Make smt-lib2 printer not drop (as ...) on applied symbols install #762: Pull request #270 synchronize by hra687261
15m 19s hra687261:fix_smt_lib2_as_print
hra687261:fix_smt_lib2_as_print
15m 19s
Make smt-lib2 printer not drop (as ...) on applied symbols build #807: Pull request #270 synchronize by hra687261
5m 51s hra687261:fix_smt_lib2_as_print
hra687261:fix_smt_lib2_as_print
5m 51s
Separate rounding modes into their own type install #761: Pull request #271 synchronize by hra687261
14m 58s hra687261:split_rm
hra687261:split_rm
14m 58s
Separate rounding modes into their own type build #806: Pull request #271 synchronize by hra687261
5m 41s hra687261:split_rm
hra687261:split_rm
5m 41s
pages build and deployment pages-build-deployment #102: by github-pages Bot
4m 51s gh-pages
gh-pages
4m 51s
Add support for SMT-LIB's :global-declarations options (#269) build #805: Commit 5c9161a pushed by Gbury
9m 28s master
master
9m 28s
Add support for SMT-LIB's :global-declarations options (#269) install #760: Commit 5c9161a pushed by Gbury
25m 1s master
master
25m 1s
Separate rounding modes into their own type install #759: Pull request #271 opened by hra687261
25m 14s hra687261:split_rm
hra687261:split_rm
25m 14s
Separate rounding modes into their own type build #804: Pull request #271 opened by hra687261
9m 9s hra687261:split_rm
hra687261:split_rm
9m 9s
Make smt-lib2 printer not drop (as ...) on applied symbols build #803: Pull request #270 opened by hra687261
9m 8s hra687261:fix_smt_lib2_as_print
hra687261:fix_smt_lib2_as_print
9m 8s
Make smt-lib2 printer not drop (as ...) on applied symbols install #758: Pull request #270 opened by hra687261
23m 51s hra687261:fix_smt_lib2_as_print
hra687261:fix_smt_lib2_as_print
23m 51s
Add support for SMT-LIB's :global-declarations options install #757: Pull request #269 synchronize by Gbury
14m 51s global_decls
global_decls
14m 51s
Add support for SMT-LIB's :global-declarations options build #802: Pull request #269 synchronize by Gbury
6m 3s global_decls
global_decls
6m 3s
Add support for SMT-LIB's :global-declarations options install #756: Pull request #269 opened by Gbury
1h 23m 42s global_decls
global_decls
1h 23m 42s
Add support for SMT-LIB's :global-declarations options build #801: Pull request #269 opened by Gbury
5m 59s global_decls
global_decls
5m 59s
pages build and deployment pages-build-deployment #101: by github-pages Bot
48m 11s gh-pages
gh-pages
48m 11s
promote tests build #800: Commit 242c9c4 pushed by Gbury
10m 22s master
master
10m 22s
promote tests install #755: Commit 242c9c4 pushed by Gbury
54m 25s master
master
54m 25s
Fix printing of type annotation for poly ho maps install #754: Commit ff23e37 pushed by Gbury
15m 23s master
master
15m 23s
Fix printing of type annotation for poly ho maps build #799: Commit ff23e37 pushed by Gbury
5m 19s master
master
5m 19s
pages build and deployment pages-build-deployment #100: by github-pages Bot
1m 5s gh-pages
gh-pages
1m 5s
Implement 'dumb' polymophism for SMT-LIB + various HO fixes (#268) build #798: Commit 08fe0a4 pushed by Gbury
5m 49s master
master
5m 49s
install install #753: by Gbury
16m 20s master
master
16m 20s
Implement 'dumb' polymophism for SMT-LIB + various HO fixes install #752: Pull request #268 synchronize by Gbury
19m 52s dumb_poly
dumb_poly
19m 52s
Implement 'dumb' polymophism for SMT-LIB + various HO fixes build #797: Pull request #268 synchronize by Gbury
8m 29s dumb_poly
dumb_poly
8m 29s