Build ASL reference · Workflow runs · ShaleXIONG/herdtools7 · GitHub

Actions

All workflows
Workflows
- build & make test build & make test
- Build ASL reference Build ASL reference
- Build static binaries Build static binaries
- Build WWW Build WWW
- Check Build WWW Check Build WWW
- Make all tests Make all tests
- Publish herdtools7 release image Publish herdtools7 release image
- Run BNFC dependent tests Run BNFC dependent tests
- Run Litmus Run Litmus
- Test build with mininal versions Test build with mininal versions
Management
- Caches

Build ASL reference

Actions

Loading...
Loading

build-asl-reference.yml

27 workflow runs

27 workflow runs

Build ASL reference Build ASL reference #11: Scheduled

9m 38s master

master

9m 38s

Build ASL reference Build ASL reference #10: Scheduled

8m 16s master

master

8m 16s