Skip to content

Commit

Permalink
ci: add vanilla opam build.
Browse files Browse the repository at this point in the history
touch

touch

remove pr trigger

run on github changes

Update opam.yml

Update opam.yml

opam exec dune
  • Loading branch information
katrinafyi committed Mar 4, 2024
1 parent dad1369 commit 7b66402
Show file tree
Hide file tree
Showing 3 changed files with 30 additions and 6 deletions.
28 changes: 28 additions & 0 deletions .github/workflows/opam.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
name: Build with opam

on:
push:
branches: [ partial_eval ]
paths: [ '*.opam', '.github/**' ]
pull_request:
paths: [ '*.opam', '.github/**' ]
workflow_dispatch:

# only run one instance of this action at a time.
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true

jobs:
build:
runs-on: ubuntu-latest

steps:
- uses: actions/checkout@v4
- uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: 4.09
- run: opam install dune
- run: opam install . --deps-only --with-test
- run: opam exec -- dune build --profile release

6 changes: 0 additions & 6 deletions .github/workflows/test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -29,12 +29,6 @@ jobs:
with: { name: pac-nix }
- run: echo 'preparing nix shell environment'

# it will be nice to make this work, just in case we aslp adds new dependencies
# - uses: ocaml/setup-ocaml@v2
# with:
# ocaml-compiler: ocaml-system.4.09.1 # must match nix develop's ocaml version!
# - run: opam install . --deps-only --with-test

- run: dune build --profile release
- run: ./coverage.sh test
id: coverage
Expand Down
2 changes: 2 additions & 0 deletions asli.opam
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,8 @@ Currently supports reading/typechecking the specification,
interactive execution of ASL statements and expressions,
executing opcodes one at a time,
loading ELF files and executing Arm binaries.
fdsa
fds
"""
maintainer: ["Alastair Reid <[email protected]>"]
authors: ["Alastair Reid"]
Expand Down

0 comments on commit 7b66402

Please sign in to comment.