Skip to content

Actions: Gbury/dolmen

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
79 workflow runs
79 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: Add missing model for to_int coercion (#221) build #676: Commit ec32e34 pushed by Gbury
October 1, 2024 13:25 9m 18s master
master
October 1, 2024 13:25 9m 18s
Smtlib Printer build #675: Pull request #211 synchronize by Gbury
September 14, 2024 13:24 5m 38s print
print
September 14, 2024 13:24 5m 38s
fix: Add missing model for to_int coercion build #674: Pull request #221 opened by bclement-ocp
September 12, 2024 13:08 5m 28s bclement-ocp:to_int_model
bclement-ocp:to_int_model
September 12, 2024 13:08 5m 28s
Smtlib Printer build #673: Pull request #211 synchronize by Gbury
September 12, 2024 10:28 5m 34s print
print
September 12, 2024 10:28 5m 34s
Smtlib Printer build #672: Pull request #211 synchronize by Gbury
September 11, 2024 10:03 5m 51s print
print
September 11, 2024 10:03 5m 51s
Smtlib Printer build #671: Pull request #211 synchronize by Gbury
September 10, 2024 10:22 5m 30s print
print
September 10, 2024 10:22 5m 30s
Fix evaluation of goals build #670: Commit 76fb043 pushed by Gbury
September 10, 2024 09:27 8m 49s master
master
September 10, 2024 09:27 8m 49s
feat: Support more Alt-Ergo primitives build #669: Pull request #220 opened by bclement-ocp
September 6, 2024 14:55 8m 54s bclement-ocp:ae-float
bclement-ocp:ae-float
September 6, 2024 14:55 8m 54s
Smtlib Printer build #668: Pull request #211 synchronize by Gbury
September 5, 2024 11:22 5m 42s print
print
September 5, 2024 11:22 5m 42s
Smtlib Printer build #667: Pull request #211 synchronize by Gbury
September 4, 2024 14:09 5m 33s print
print
September 4, 2024 14:09 5m 33s
Smtlib Printer build #666: Pull request #211 synchronize by Gbury
August 31, 2024 21:48 8m 49s print
print
August 31, 2024 21:48 8m 49s
Smtlib Printer build #665: Pull request #211 synchronize by Gbury
August 31, 2024 21:46 8m 45s print
print
August 31, 2024 21:46 8m 45s
Smtlib Printer build #664: Pull request #211 synchronize by Gbury
July 28, 2024 20:52 5m 29s print
print
July 28, 2024 20:52 5m 29s
Smtlib Printer build #663: Pull request #211 synchronize by Gbury
July 26, 2024 15:08 8m 47s print
print
July 26, 2024 15:08 8m 47s
Smtlib Printer build #662: Pull request #211 synchronize by Gbury
July 16, 2024 14:22 8m 51s print
print
July 16, 2024 14:22 8m 51s
feat: Add support for user-defined builtins with Dune plugins build #661: Pull request #214 synchronize by bclement-ocp
June 26, 2024 16:53 5m 39s bclement-ocp:extensions
bclement-ocp:extensions
June 26, 2024 16:53 5m 39s
feat: Add support for user-defined builtins with Dune plugins build #660: Pull request #214 synchronize by bclement-ocp
June 26, 2024 14:15 5m 33s bclement-ocp:extensions
bclement-ocp:extensions
June 26, 2024 14:15 5m 33s
feat: Add support for user-defined builtins with Dune plugins build #659: Pull request #214 synchronize by bclement-ocp
June 26, 2024 14:12 5m 42s bclement-ocp:extensions
bclement-ocp:extensions
June 26, 2024 14:12 5m 42s
feat: Add support for user-defined builtins with Dune plugins build #658: Pull request #214 synchronize by bclement-ocp
June 26, 2024 09:38 5m 23s bclement-ocp:extensions
bclement-ocp:extensions
June 26, 2024 09:38 5m 23s
feat: Add support for user-defined builtins with Dune plugins build #657: Pull request #214 synchronize by bclement-ocp
June 26, 2024 09:30 5m 39s bclement-ocp:extensions
bclement-ocp:extensions
June 26, 2024 09:30 5m 39s
feat: Add support for user-defined builtins with Dune plugins build #656: Pull request #214 synchronize by bclement-ocp
June 26, 2024 09:28 5m 32s bclement-ocp:extensions
bclement-ocp:extensions
June 26, 2024 09:28 5m 32s
feat: Add support for user-defined builtins with Dune plugins build #655: Pull request #214 synchronize by bclement-ocp
June 26, 2024 08:02 9m 22s bclement-ocp:extensions
bclement-ocp:extensions
June 26, 2024 08:02 9m 22s
Update ocaml versions in CI scripts build #654: Commit 0161bf4 pushed by Gbury
June 17, 2024 14:55 8m 54s master
master
June 17, 2024 14:55 8m 54s
Add lower bounds on qcheck and mdx build #653: Commit 092fc45 pushed by Gbury
June 17, 2024 13:44 8m 31s master
master
June 17, 2024 13:44 8m 31s
Smtlib Printer build #652: Pull request #211 synchronize by Gbury
May 14, 2024 15:41 8m 28s print
print
May 14, 2024 15:41 8m 28s