Skip to content

Actions: ocaml-gospel/ortac

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
100 workflow run results
100 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Disable warnings in generated code Build and test #25: Pull request #139 opened by n-osborne
September 19, 2023 16:03 11m 38s n-osborne:stm-add-warnings
n-osborne:stm-add-warnings
September 19, 2023 16:03 11m 38s
Add an output option to qcheck-stm plugin cli Build and test #24: Pull request #137 synchronize by n-osborne
September 19, 2023 12:52 11m 27s n-osborne:stm-output-option
n-osborne:stm-output-option
September 19, 2023 12:52 11m 27s
Merge pull request #136 from shym/integration Build and test #23: Commit 61cc4db pushed by n-osborne
September 19, 2023 12:50 14m 18s main
main
September 19, 2023 12:50 14m 18s
Bring Ortac up-to-date with the current development version of Gospel Build and test #22: Pull request #136 synchronize by shym
September 19, 2023 11:44 13m 15s shym:integration
shym:integration
September 19, 2023 11:44 13m 15s
Add an output option to qcheck-stm plugin cli Build and test #21: Pull request #137 synchronize by n-osborne
September 18, 2023 13:36 11m 44s n-osborne:stm-output-option
n-osborne:stm-output-option
September 18, 2023 13:36 11m 44s
Add an output option to qcheck-stm plugin cli Build and test #20: Pull request #137 synchronize by n-osborne
September 18, 2023 08:48 11m 13s n-osborne:stm-output-option
n-osborne:stm-output-option
September 18, 2023 08:48 11m 13s
Add an output option to qcheck-stm plugin cli Build and test #19: Pull request #137 opened by n-osborne
September 18, 2023 08:09 14m 25s n-osborne:stm-output-option
n-osborne:stm-output-option
September 18, 2023 08:09 14m 25s
Cleanup QCheck-STM warnings Build and test #18: Pull request #122 synchronize by shym
September 15, 2023 11:51 8m 14s shym:warnings
shym:warnings
September 15, 2023 11:51 8m 14s
Cleanup QCheck-STM warnings Build and test #17: Pull request #122 synchronize by shym
September 15, 2023 11:44 8m 17s shym:warnings
shym:warnings
September 15, 2023 11:44 8m 17s
Bring Ortac up-to-date with the current development version of Gospel Build and test #16: Pull request #136 opened by shym
September 15, 2023 10:10 8m 24s shym:integration
shym:integration
September 15, 2023 10:10 8m 24s
Merge pull request #135 from shym/subst_models Build and test #15: Commit 43b86c3 pushed by shym
September 15, 2023 09:14 8m 8s main
main
September 15, 2023 09:14 8m 8s
Restrict subst_term to x.f where f is a model field Build and test #14: Pull request #135 synchronize by shym
September 15, 2023 08:43 8m 27s shym:subst_models
shym:subst_models
September 15, 2023 08:43 8m 27s
Restrict subst_term to x.f where f is a model field Build and test #13: Pull request #135 synchronize by shym
September 15, 2023 08:14 5m 21s shym:subst_models
shym:subst_models
September 15, 2023 08:14 5m 21s
Merge pull request #125 from n-osborne/testing-warnings Build and test #12: Commit 04e22ab pushed by shym
September 14, 2023 14:46 14m 15s main
main
September 14, 2023 14:46 14m 15s
testing warnings Build and test #11: Pull request #125 synchronize by shym
September 14, 2023 14:27 14m 45s n-osborne:testing-warnings
n-osborne:testing-warnings
September 14, 2023 14:27 14m 45s
Restrict subst_term to x.f where f is a model field Build and test #10: Pull request #135 synchronize by shym
September 14, 2023 14:14 14m 8s shym:subst_models
shym:subst_models
September 14, 2023 14:14 14m 8s
Merge pull request #134 from shym/integer-not-int Build and test #9: Commit 5aded65 pushed by n-osborne
September 14, 2023 07:30 7m 38s main
main
September 14, 2023 07:30 7m 38s
testing warnings Build and test #8: Pull request #125 synchronize by n-osborne
September 14, 2023 07:25 7m 34s n-osborne:testing-warnings
n-osborne:testing-warnings
September 14, 2023 07:25 7m 34s
Restrict subst_term to x.f where f is a model field Build and test #7: Pull request #135 opened by shym
September 13, 2023 15:21 7m 36s shym:subst_models
shym:subst_models
September 13, 2023 15:21 7m 36s
Translate Gospel integer as Ortac_runtime.integer Build and test #6: Pull request #134 opened by shym
September 13, 2023 15:20 9m 11s shym:integer-not-int
shym:integer-not-int
September 13, 2023 15:20 9m 11s
testing warnings Build and test #5: Pull request #125 synchronize by n-osborne
September 13, 2023 14:55 5m 31s n-osborne:testing-warnings
n-osborne:testing-warnings
September 13, 2023 14:55 5m 31s
testing warnings Build and test #4: Pull request #125 synchronize by n-osborne
September 13, 2023 14:45 4m 25s n-osborne:testing-warnings
n-osborne:testing-warnings
September 13, 2023 14:45 4m 25s
testing warnings Build and test #3: Pull request #125 synchronize by n-osborne
September 13, 2023 14:38 4m 47s n-osborne:testing-warnings
n-osborne:testing-warnings
September 13, 2023 14:38 4m 47s
testing warnings Build and test #2: Pull request #125 synchronize by n-osborne
September 13, 2023 14:28 4m 36s n-osborne:testing-warnings
n-osborne:testing-warnings
September 13, 2023 14:28 4m 36s
Merge pull request #129 from shym/gha-ci Build and test #1: Commit febd0f2 pushed by n-osborne
September 13, 2023 13:09 15m 2s main
main
September 13, 2023 13:09 15m 2s