Skip to content

Commit

Permalink
[DNL] Experimental CI configuration
Browse files Browse the repository at this point in the history
  • Loading branch information
jcreedcmu committed Mar 3, 2024
1 parent d25e698 commit 8a534d9
Showing 1 changed file with 25 additions and 0 deletions.
25 changes: 25 additions & 0 deletions .github/workflows/test.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
# https://docs.github.com/en/actions/using-jobs/running-jobs-in-a-container

name: Run Tests

on:
push:
branches:
- jcreed/ci-test-experiment

jobs:
build:
runs-on: ubuntu-latest
container:
image: alandipert/mlton
env:
EXAMPLE_VAR: example_value
steps:
- name: Check for dockerenv file, prove to ourselves that we're running in container
run: (ls /.dockerenv && echo Found dockerenv) || (echo No dockerenv)
- name: Checkout code
uses: actions/checkout@v4
- name: Run tests
run: cd twelf && ./regression.sh
- name: Debugging
run: "echo `pwd` && ls"

0 comments on commit 8a534d9

Please sign in to comment.