Rowan Walshe
|
bb2515b362
|
Update Mafile to have it auto-populate the correct WSS URL
|
2022-08-12 15:46:51 +01:00 |
|
Gustavo A. Hoffmann
|
2b1e222b06
|
Merge pull request #749 from AdaCore/feature/Lambda-executer
Draft changes to use AWS lambda function for the backend
|
2022-08-12 14:02:49 +02:00 |
|
Gustavo A. Hoffmann
|
ade8896237
|
Merge pull request #763 from AdaCore/feature/Fix-some-code-blocks
Fix some code blocks
|
2022-08-12 13:21:32 +02:00 |
|
Rowan Walshe
|
b8e0471e08
|
Add explicit main to fix test error
|
2022-08-09 13:51:33 +01:00 |
|
Rowan Walshe
|
9d39621112
|
Fix typo
|
2022-08-09 13:51:33 +01:00 |
|
Rowan Walshe
|
a9acbdd701
|
Update project names for review comment
|
2022-08-09 13:51:32 +01:00 |
|
Rowan Walshe
|
20e6b2e489
|
Add missing failure expectations to code blocks
|
2022-08-09 13:51:32 +01:00 |
|
Rowan Walshe
|
aadb78c760
|
Update project names for some code blocks
Some code blocks were pulling in files that they shouldn't have been
because they shared a project name with a code block that they shouldn't
have.
|
2022-08-09 13:51:32 +01:00 |
|
Rowan Walshe
|
03930fcb3e
|
Add missing failure expectations to code blocks
|
2022-08-09 13:51:31 +01:00 |
|
Rowan Walshe
|
ef287b7280
|
Update failing test expectations
|
2022-08-09 13:51:15 +01:00 |
|
Rowan Walshe
|
1977363804
|
Added new test driver to test code blocks using lambda function
|
2022-08-09 13:51:15 +01:00 |
|
Rowan Walshe
|
8e9f4fd2bc
|
Remove references to the previous backend
|
2022-08-09 13:51:15 +01:00 |
|
Rowan Walshe
|
a19d3ad590
|
Switch to FSF GNAT that's part of the alire community index
|
2022-08-09 13:51:14 +01:00 |
|
Rowan Walshe
|
68a38a70b4
|
Fix spark issue with download
|
2022-08-09 13:51:14 +01:00 |
|
Rowan Walshe
|
2d497948fe
|
Add some tests for the Download functionality
Tidy up download.ts
|
2022-08-09 13:51:13 +01:00 |
|
Rowan Walshe
|
7508ac32f8
|
Re-implement download functionality
|
2022-08-09 13:51:13 +01:00 |
|
Rowan Walshe
|
190c791766
|
Update testsuite to mock new WebSocket endpoint
|
2022-08-09 13:51:13 +01:00 |
|
Rowan Walshe
|
59aae51a84
|
Remove dead code
|
2022-08-09 13:51:12 +01:00 |
|
Rowan Walshe
|
a1e91540e0
|
Address style violations
|
2022-08-09 13:51:12 +01:00 |
|
Rowan Walshe
|
3df75c7e22
|
Disable download functionality
|
2022-08-09 13:51:12 +01:00 |
|
Rowan Walshe
|
6d55a8f136
|
Proof of concept using WebSockets
All 'modes' supported
Downloading not yet supported
|
2022-08-09 13:51:07 +01:00 |
|
Rowan Walshe
|
ff91c892ac
|
Merge pull request #765 from AdaCore/feature/Update-github-actions
Add apt-get update before apt-get install to github action
|
2022-08-09 13:50:22 +01:00 |
|
Rowan Walshe
|
705668af8a
|
Add apt-get update before apt-get install to github action
|
2022-08-09 13:08:20 +01:00 |
|
Gustavo A. Hoffmann
|
486a3a3b6e
|
Merge pull request #764 from gusthoff/intro-to-embedded-sys-prog/review/editorial/20220805
Editorial changes to "Introduction to Embedded Systems Programming" course
|
2022-08-05 23:34:31 +02:00 |
|
gusthoff
|
2441d9459a
|
Further editorial changes to source-code examples
|
2022-08-05 19:53:24 +02:00 |
|