Skip to content

Add workflows to exercise CFG with both closure and flambda2 #159

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Aug 20, 2021

Conversation

xclerc
Copy link
Contributor

@xclerc xclerc commented Aug 16, 2021

The two new workflows introduced by this pull request are
expected to fail.

(It is my first time under .github/, and I do not know if/how
it is possible to factor out things with the existing workflows.)

@xclerc xclerc added the cfg label Aug 16, 2021
--enable-middle-end=closure \
--with-dune=$GITHUB_WORKSPACE/dune/dune.exe

- name: Build, install and test Flambda backend (Closure mode)
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

perhaps put "with ocamlcfg" in the name?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks, I knew I was forgetting something...

@gretay-js gretay-js mentioned this pull request Aug 17, 2021
@gretay-js gretay-js merged commit df307e9 into oxcaml:main Aug 20, 2021
basimkhajwal pushed a commit to basimkhajwal/flambda-backend that referenced this pull request Sep 10, 2021
mshinwell added a commit to mshinwell/oxcaml that referenced this pull request Apr 28, 2023
6c5197b Merge pull request oxcaml#166 from mshinwell/merge-flambda-backend-2023-04-28
0c3dcf9 Fix for ocamldoc
09b9e1c Fix for -zero-alloc-check
71e5e07 Compilation fixes after merge
bf66257 Merge flambda-backend changes
a2556fc Add `[%exclave]` support (oxcaml#51)
ebe9576 Add data race freedom proposal (oxcaml#161)
3f3fc49 Merge pull request oxcaml#159 from riaqn/merge-backend
6c635dc minor changes after merge
99a0d85 Merge flambda-backend changes
2642463 Include the modes of values in debugging information (oxcaml#153)
4ecc8a4 Remove i386 CI check (oxcaml#155)

git-subtree-dir: ocaml
git-subtree-split: 6c5197b
ccasin added a commit to ccasin/flambda-backend that referenced this pull request Apr 29, 2023
bba15422dbf Accept changed test, fix dune file
2f0a6b48399 Layouts version 1
6c5197b Merge pull request oxcaml#166 from mshinwell/merge-flambda-backend-2023-04-28
0c3dcf9 Fix for ocamldoc
09b9e1c Fix for -zero-alloc-check
71e5e07 Compilation fixes after merge
bf66257 Merge flambda-backend changes
a2556fc Add `[%exclave]` support (oxcaml#51)
ebe9576 Add data race freedom proposal (oxcaml#161)
3f3fc49 Merge pull request oxcaml#159 from riaqn/merge-backend
6c635dc minor changes after merge
99a0d85 Merge flambda-backend changes
2642463 Include the modes of values in debugging information (oxcaml#153)
4ecc8a4 Remove i386 CI check (oxcaml#155)

git-subtree-dir: ocaml
git-subtree-split: bba15422dbf736511e37db6ea3e952905ff406ed
mshinwell added a commit to mshinwell/oxcaml that referenced this pull request May 1, 2023
REVERT: 6c5197b Merge pull request oxcaml#166 from mshinwell/merge-flambda-backend-2023-04-28
REVERT: 0c3dcf9 Fix for ocamldoc
REVERT: 09b9e1c Fix for -zero-alloc-check
REVERT: 71e5e07 Compilation fixes after merge
REVERT: bf66257 Merge flambda-backend changes
REVERT: a2556fc Add `[%exclave]` support (oxcaml#51)
REVERT: ebe9576 Add data race freedom proposal (oxcaml#161)
REVERT: 3f3fc49 Merge pull request oxcaml#159 from riaqn/merge-backend
REVERT: 6c635dc minor changes after merge
REVERT: 99a0d85 Merge flambda-backend changes
REVERT: 2642463 Include the modes of values in debugging information (oxcaml#153)
REVERT: 4ecc8a4 Remove i386 CI check (oxcaml#155)

git-subtree-dir: ocaml
git-subtree-split: a7d005a
mshinwell added a commit to mshinwell/oxcaml that referenced this pull request May 1, 2023
e3076d2 Unboxed types v1 (oxcaml#139)
e68c72d update HACKING.jst.adoc (oxcaml#165)
6c5197b Merge pull request oxcaml#166 from mshinwell/merge-flambda-backend-2023-04-28
0c3dcf9 Fix for ocamldoc
09b9e1c Fix for -zero-alloc-check
71e5e07 Compilation fixes after merge
bf66257 Merge flambda-backend changes
a2556fc Add `[%exclave]` support (oxcaml#51)
ebe9576 Add data race freedom proposal (oxcaml#161)
3f3fc49 Merge pull request oxcaml#159 from riaqn/merge-backend
6c635dc minor changes after merge
99a0d85 Merge flambda-backend changes
2642463 Include the modes of values in debugging information (oxcaml#153)
4ecc8a4 Remove i386 CI check (oxcaml#155)

git-subtree-dir: ocaml
git-subtree-split: e3076d2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants