1
1
mirror of https://github.com/github/semantic.git synced 2024-11-29 02:44:36 +03:00
semantic/script
2020-02-20 09:58:47 -08:00
..
bootstrap Fully remove reference to submodules 2020-02-20 09:58:47 -08:00
clone-example-repos Cleanup this script 2019-12-18 12:43:12 -08:00
fix-broken-cabal-store Factor out the prefix. 2019-12-18 16:55:20 -05:00
generate-example v2-. 2019-10-30 08:42:28 -04:00
ghci-flags add semantic-php to ghci-flags 2020-02-11 15:55:12 -05:00
ghci-flags-dependencies add semantic-php to ghci-flags-dependencies 2020-02-11 15:56:17 -05:00
profile v2-. 2019-10-30 08:42:28 -04:00
protoc Use tclem/proto-lens-jsonpb 2019-10-02 13:14:16 -07:00
publish Merge remote-tracking branch 'origin/master' into release-0.9.0.0 2019-11-07 14:10:33 -05:00
repl Build the benchmarks’ dependencies. 2019-12-20 10:44:28 -05:00