1
1
mirror of https://github.com/tweag/asterius.git synced 2024-09-21 05:48:04 +03:00
asterius/.buildkite
2020-04-22 06:40:26 +02:00
..
boot.sh Migrate most of CI logic from CircleCI to BuildKite (#588) 2020-04-17 11:39:29 +02:00
ghc-testsuite.sh Migrate most of CI logic from CircleCI to BuildKite (#588) 2020-04-17 11:39:29 +02:00
pipeline.yml Speed up the asterius-profile job (#597) 2020-04-20 13:12:43 +02:00
profile.sh Change the default rtsopts for asterius executables (#604) 2020-04-22 06:40:26 +02:00
Setup.hs Run profiled build on CI (#594) 2020-04-20 10:31:30 +02:00
test.sh Migrate most of CI logic from CircleCI to BuildKite (#588) 2020-04-17 11:39:29 +02:00