Commit graph

61 commits

Author SHA1 Message Date
Allan Jeremy
343854b574 Debugging WIP 2022-05-19 16:59:42 +03:00
Allan Jeremy
094af8302a Updated benchmark result directories 2022-05-19 16:31:27 +03:00
Allan Jeremy
34ebb576b4 Debug: reorganize Print parent directory after benchmark 2022-05-19 16:25:40 +03:00
Allan Jeremy
c620192eff Debug: reorganize Print parent directory
Trying to understand the parent directory's structure
2022-05-19 16:19:17 +03:00
Allan Jeremy
fbab5e9de7 Debug: Print parent directory
Trying to understand the parent directory's structure
2022-05-19 16:14:21 +03:00
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