Sorawee Porncharoenwase 138b151d3a release: make a new release

2024-03-14 05:04:03 +07:00

..

config-test

ci: unify configuration tests

2024-03-14 05:04:03 +07:00

docker-base-modular-push.yml

ci: add a filename extension so that GHA workflow can be run

2024-03-14 05:04:03 +07:00

docker-base-push.yml

cvc5: use mainline cvc5 (#25)

2024-03-14 05:04:03 +07:00

docker-image.yml

ci: workflow reorganization (#41)

2024-03-14 05:04:03 +07:00

full-test.yml

test: add a complete test suite (but do not run them on GHA)

2024-03-14 05:04:03 +07:00

main-test.yml

ci: make main test extensible via reusable workflow

2024-03-14 05:04:03 +07:00