diff options
author | Christopher Haster <chaster@utexas.edu> | 2020-12-20 11:03:20 +0300 |
---|---|---|
committer | Christopher Haster <chaster@utexas.edu> | 2021-01-10 08:42:49 +0300 |
commit | b2235e956dda7e69fc9048c1768fcfce45c913b9 (patch) | |
tree | d9853565bcde344817cc5919bf6536383e9c734a /Makefile | |
parent | d804c2d3b7389b6508993223f797d84720803c6c (diff) |
Added GitHub workflows to run tests
Mostly taken from .travis.yml, biggest changes were around how to get
the status updates to work.
We can't use a token on PRs the same way we could in Travis, so instead
we use a second workflow that checks every pull request for "status"
artifacts, and create the actual statuses in the "workflow_run" event,
where we have full access to repo secrets.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 11 |
1 files changed, 5 insertions, 6 deletions
@@ -29,8 +29,7 @@ override CFLAGS += -std=c99 -Wall -pedantic override CFLAGS += -Wextra -Wshadow -Wjump-misses-init -Wundef ifdef VERBOSE -override TFLAGS += -v -override SFLAGS += -v +override SCRIPTFLAGS += -v endif @@ -41,14 +40,14 @@ asm: $(ASM) size: $(OBJ) $(SIZE) -t $^ -code_size: - ./scripts/code_size.py $(SFLAGS) +code: + ./scripts/code.py $(SCRIPTFLAGS) test: - ./scripts/test.py $(TFLAGS) + ./scripts/test.py $(EXEC:%=--exec=%) $(SCRIPTFLAGS) .SECONDEXPANSION: test%: tests/test$$(firstword $$(subst \#, ,%)).toml - ./scripts/test.py $@ $(TFLAGS) + ./scripts/test.py $@ $(EXEC:%=--exec=%) $(SCRIPTFLAGS) -include $(DEP) |