Allan Jeremy
3f124be241
Debugging directory
2022-05-19 16:05:20 +03:00
Allan Jeremy
30f66ff0ef
Printing root dir before actually creating a new one
2022-05-19 15:56:57 +03:00
Allan Jeremy
b1399cf52e
Printing root dir before actually creating a new one
2022-05-19 15:25:48 +03:00
Allan Jeremy
3545cc8bdf
Debugging runner directories
2022-05-19 15:25:02 +03:00
Allan Jeremy
5975d556fe
Debugging runner directories
2022-05-19 15:18:32 +03:00
Allan Jeremy
0946952d58
Attempting to use different directories for checkout of luau repos
2022-05-19 15:08:19 +03:00
Allan Jeremy
efe216475d
Updated gh-pages checkout command
2022-05-19 14:58:16 +03:00
Allan Jeremy
93a8fe1c61
Updated gh-pages checkout command
2022-05-19 14:52:58 +03:00
Allan Jeremy
5c04f1511f
Bugfix: Checkout multiple repos
2022-05-19 14:35:07 +03:00
Allan Jeremy
2ff83d6827
Test: Attempt to run benchmarks from different repo
2022-05-19 14:31:54 +03:00
Allan Jeremy
0bc2430e2e
Bumped gh actions version to 3
2022-05-19 13:39:50 +03:00
Allan Jeremy
465cbdaa3e
Revert changes to benchmark.yml
2022-05-18 13:42:50 +03:00
Allan Jeremy
c7170d9096
[Bugfix] Fixed incorrect reference in git checkout
2022-05-18 13:17:08 +03:00
Allan Jeremy
96adcac92b
[Bugfix] Added historic tag checkout test
2022-05-18 13:16:00 +03:00
Allan Jeremy
8c65fe0084
Added historic tag checkout test
2022-05-18 13:14:57 +03:00
Allan Jeremy
6dcdf794d7
Removed unnecessary comment
2022-05-16 19:37:47 +03:00
Allan Jeremy
74075fc00d
End of the pip & explicit python version set
2022-05-16 19:32:37 +03:00
Allan Jeremy
20ff937a3a
Return of the pip
2022-05-16 19:25:49 +03:00
Allan Jeremy
a9d4b79b2e
Cleanup
2022-05-16 19:21:24 +03:00
Allan Jeremy
ac0dcd4ba1
Updated github token
2022-05-16 18:54:32 +03:00
Allan Jeremy
0f5c22e705
Adjusted thresholds
2022-05-16 18:49:27 +03:00
Allan Jeremy
2448831cd2
UPDATED GITHUB token
2022-05-16 18:43:25 +03:00
Allan Jeremy
f8ec272bbd
Updated benchmark.yml
2022-05-16 18:28:34 +03:00
Allan Jeremy
620bb47e0a
Updated benchmark.yml
2022-05-16 18:21:29 +03:00
Allan Jeremy
8269293222
Reordered steps in benchmark workflow
2022-05-16 18:07:09 +03:00
Allan Jeremy
de7c266a56
Updated benchmark workflow with different build command
...
Using the one from the README now as opposed to the one from the build.yml
2022-05-16 15:52:21 +03:00
Allan Jeremy
8c9321105a
Added python requests intallation
2022-05-16 15:44:52 +03:00
Allan Jeremy
435701a2a3
Cleaned up luau benchmarks
...
Removed duplicate storage of benchmark output files
2022-05-16 15:16:35 +03:00
Allan Jeremy
1af36eb542
Reverted pip install change in benchmark workflow
2022-05-16 15:10:43 +03:00
Allan Jeremy
17ed62260a
Added requests install for python
2022-05-16 12:37:54 +03:00
Allan Jeremy
decdf98942
[Config] Updated benchmark configs
2022-05-12 19:15:34 +03:00
Allan Jeremy
5b0e840bb0
[Config] Updated python setup action version
2022-05-12 19:12:43 +03:00
Allan Jeremy
e980158528
[Cleanup] Fixed syntax error in benchmark github workflow
2022-05-12 19:06:14 +03:00
Allan Jeremy
aad35f788e
[Config] Updated events being relied on by benchmark github workflow
2022-05-12 19:02:47 +03:00
Allan Jeremy
4b5d62501e
[Cleanup] Fixed yml syntax error
2022-05-12 18:59:24 +03:00
Allan Jeremy
17ef877188
[Feat] Added luau benchmark workflow
...
TODO: Test this upstream
2022-05-12 18:54:10 +03: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