Arseny Kapoulkine
71c80de425
Final run before merge
2022-07-01 12:28:50 -07:00
Arseny Kapoulkine
e9b62176c7
Run once on GHA to get a stable baseline
2022-07-01 11:37:47 -07:00
Arseny Kapoulkine
a6d920323c
Default to -O2
2022-07-01 11:37:26 -07:00
Arseny Kapoulkine
071883d4b4
Only build with gcc for now
...
Newer clang has issues with valgrind wrt DWARF5 support, and two builds
may hit a race condition with the repository update anyway.
2022-07-01 07:51:51 -07:00
Arseny Kapoulkine
6efe4165aa
Fix job name
2022-06-30 21:01:08 -07:00
Arseny Kapoulkine
328c63cdcf
Build with both gcc and clang
2022-06-30 20:53:08 -07:00
Arseny Kapoulkine
f04b8c797d
Forgot to remove branch name from build script
2022-06-30 20:30:26 -07:00
Arseny Kapoulkine
7b96f87a51
Final tweaks
2022-06-30 20:24:49 -07:00
Arseny Kapoulkine
3b4c86fce9
Final test
2022-06-30 20:18:26 -07:00
Arseny Kapoulkine
fa1a927887
... without callgrind in -dev
2022-06-30 20:09:23 -07:00
Arseny Kapoulkine
4cedae00fc
Move existing benchmark to -dev and route benchmark to /bench
2022-06-30 20:08:59 -07:00
Arseny Kapoulkine
cdc7de931e
Temporarily enable the workflow on this branch to test it.
2022-06-30 19:57:41 -07:00
Arseny Kapoulkine
e43638408e
Add Callgrind runner to benchmark action
2022-06-30 19:56:44 -07:00
Arseny Kapoulkine
4cd0443913
Update benchmark.yml
...
Cleaner names
2022-06-24 18:30:26 -07:00
Arseny Kapoulkine
9846a6c7b9
Update benchmark.yml
...
Remove all alert/comment functionality
2022-06-24 18:26:15 -07:00
Arseny Kapoulkine
224d35bc9e
Update benchmark.yml
...
Attempt to fix Windows and other builds
2022-06-24 18:16:12 -07:00
Allan N Jeremy
5e405b58b3
Added multi-os runners for benchmark & implemented luau analyze ( #542 )
2022-06-24 09:46:29 -07:00
Allan N Jeremy
da01056022
Added Luau Benchmark Workflows ( #530 )
2022-06-14 08:48:07 -07:00
Alan Jeffrey
d37d0c857b
Prototype: Renamed any/none to unknown/never ( #447 )
...
* Renamed any/none to unknown/never
* Pin hackage version
* Update Agda version
2022-04-09 00:07:08 -05:00
Lily Brown
6c923b8802
Prototyping: strings ( #390 )
2022-03-02 15:26:58 -08:00
Arseny Kapoulkine
db3a8a2f0f
Update prototyping.yml ( #398 )
...
This limits the scope of prototyping action to PRs to prototyping branch to minimize the GHA cost / latency, as cabal install sometimes takes forever
2022-02-24 17:08:54 -08:00
Arseny Kapoulkine
a9bdce6cc0
Rename tests to tests.py ( #374 )
2022-02-18 10:04:38 -08:00
Lily Brown
1ac64af484
Prototyping: Revise CI ( #371 )
...
Introduces a test runner with test cases. Also significantly overhauls the GHA configuration.
2022-02-17 17:15:33 -08:00
Lily Brown
c8d6dc2758
Revise GHA workflows for prototyping ( #367 )
...
Changed the GHA workflows to:
- Not run `build` and `release` workflows for PRs that only affect `prototyping/`
- Run `prototyping` workflow when PRs affect `Analysis/**`, `Ast/**`, or the `luau-ast` source files
2022-02-15 14:24:51 -08:00
Alan Jeffrey
db90c7da48
Add a typeToString function to the prototype ( #354 )
...
* Added Luau.Type.ToString
2022-02-11 14:38:35 -06:00
Alan Jeffrey
5187e64f88
Implement a prototype interpreter ( #353 )
...
* First cut interpreter
2022-02-09 17:14:29 -06:00
Alan Jeffrey
041838a942
Prototyping a small subset of Luau in Agda ( #350 )
...
* First cut reading JSON into an Agda representation of Luau syntax
2022-02-08 18:26:58 -06:00
Arseny Kapoulkine
88be067c0b
Switch coverage build to checkout@v2 ( #285 )
...
Attempt to fix coverage builds by using checkout@v2 instead of v1 which might fix the detacthed HEAD issue.
On the off chance it doesn't, add extra logging around git specifically.
2021-12-09 17:50:29 -08:00
Arseny Kapoulkine
f5ec6df7ba
Update build.yml
...
Disable continue-on-error for coverage because hiding the error actually makes it difficult to debug now :)
2021-12-02 15:55:06 -08:00
Arseny Kapoulkine
dd02420f70
Update build.yml
...
Enable debug mode in coveralls action to diagnose https://github.com/lemurheavy/coveralls-public/issues/1595
2021-11-23 11:44:18 -08:00
Arseny Kapoulkine
5740686124
Ignore errors during upload coverage ( #236 )
2021-11-23 08:26:28 -08:00
Arseny Kapoulkine
5961261a1c
Add web workflow to build Repl with Emscripten ( #222 )
...
This also separates Emscripten build into a new target / source to make
it more decoupled.
2021-11-22 09:59:15 -08:00
Arseny Kapoulkine
b7d26b371a
Use -Werror in CI only ( #201 )
...
We keep getting compat reports for warnings in various compiler
versions. While we can keep merging PRs to resolve these warnings, it
would be nice if the users of other compilers or compiler versions weren't
blocked on us fixing this.
As such, this change disables Werror by default and only enables it when
requested, which happens in CI in test builds.
2021-11-12 06:56:25 -08:00
Arseny Kapoulkine
7816f2596f
Update config.yml
...
Rename "help and support" to "questions"
2021-11-08 15:01:57 -08:00
Arseny Kapoulkine
2f7e1a2395
Update CI scripts to ignore .md changes ( #100 )
...
This reduces the load on GHA infra
2021-11-03 12:30:30 -07:00
Arseny Kapoulkine
36110e0f29
Update issue template config
...
Fix discussion link
2021-11-03 09:40:08 -07:00
Arseny Kapoulkine
7f3c033162
Add Coveralls integration
...
Build and upload lcov-compatible coverage file to coveralls
2021-11-02 15:50:57 -07:00
Arseny Kapoulkine
ca965d94ee
Add build scaffolding for GHA and issue templates for GH
2021-11-01 14:52:34 -07:00