Skip to content
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.

Sign up for GitHub

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

Switch to opam #293

Merged
merged 40 commits into from
Jun 30, 2024
Merged

Switch to opam #293

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
40 commits
Select commit Hold shift + click to select a range
927be5d
switching to opam... step 1
giltho Jun 13, 2024
e93ec00
add gillian to deps
giltho Jun 13, 2024
82f28d6
update opam file
giltho Jun 13, 2024
486a7f3
flow_parser not flow
giltho Jun 13, 2024
0b927ca
in dune-project
giltho Jun 13, 2024
416a9d1
fix dependencies
giltho Jun 13, 2024
2cb15f8
add lock file and use init-ci instead of init-dev
giltho Jun 13, 2024
f51fe9e
add dune-site dep
giltho Jun 13, 2024
3fcc1c0
add appropriate dependencies
giltho Jun 13, 2024
36fe485
fix ci
giltho Jun 14, 2024
e57578e
some more improvements to CI, not done yet
giltho Jun 14, 2024
3220c9c
make sure I always build the opam files
giltho Jun 14, 2024
ddbdb9f
another try at docker, plus slight ci improvement
giltho Jun 14, 2024
f516a1b
ANOTHER ONE
giltho Jun 14, 2024
962eb5c
Update Dockerfile
giltho Jun 14, 2024
a843473
pleeeassee
giltho Jun 14, 2024
1f0c70d
and yet more
giltho Jun 14, 2024
14ed0bf
fix + cache docker CI
giltho Jun 14, 2024
18c806a
tiny changes
giltho Jun 20, 2024
8c1d00b
Update dune version
NatKarmios Jun 25, 2024
dc77321
Collect minimum distributable files, update CI
NatKarmios Jun 25, 2024
8c84e90
Tweak make init-ci
NatKarmios Jun 25, 2024
d23bf44
Update ci.yml
NatKarmios Jun 26, 2024
618ce97
Try to find binaries in CI
NatKarmios Jun 26, 2024
9fb8c04
Trying something else
NatKarmios Jun 26, 2024
9b553c2
Remove "opam exec -- dune exec --" from test scripts
NatKarmios Jun 26, 2024
585fe43
Tweak binary path in CI
NatKarmios Jun 26, 2024
2847c6b
Set permissions on CI binaries
NatKarmios Jun 26, 2024
20240c1
make dist: use dune relocatable
NatKarmios Jun 26, 2024
0e70792
CI: try to load libz3
NatKarmios Jun 26, 2024
a6ce71e
Bump dune version
NatKarmios Jun 26, 2024
a103162
Just use _opam as artifact 😪
NatKarmios Jun 27, 2024
721d593
Update artifact action, fix setup-ocaml
NatKarmios Jun 27, 2024
c3c3725
Compress artefact before uploading
NatKarmios Jun 28, 2024
427001e
Attempt to fix opam env in CI
NatKarmios Jun 28, 2024
3c12e6e
More CI tweaks
NatKarmios Jun 28, 2024
9e34441
Include Gillian-JS runtime sites in import paths
NatKarmios Jun 28, 2024
1a577db
Fix docker CI?
NatKarmios Jun 29, 2024
1b23d97
Fix docker CI??
NatKarmios Jun 29, 2024
3bf7453
Fix docker CI???
NatKarmios Jun 29, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions .dockerignore
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
_build
.git
*.log
*.db
Loading
Loading