adding buildkite functionality - Githubissues

AlgebraicJulia / AlgebraicRewriting.jl

Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.

https://algebraicjulia.github.io/AlgebraicRewriting.jl/

MIT License

25 stars 5 forks source link

adding buildkite functionality #74

Open quffaro opened 3 months ago