fix titles in example #1659
adacore-bot
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
main.yaml
on: push
List-Courses
3s
Labs-Slides
1m 14s
Python scripts black lint check
8s
Contrib scripts check
1m 15s
Matrix: Labs
Matrix: Slides
Annotations
29 warnings
|
List-Courses
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Python scripts black lint check
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Labs (ubuntu-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Labs-Slides
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Contrib scripts check
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (fundamentals_of_ada/gnat_studio.txt)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (gnatcheck)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (gnatcoverage)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (fundamentals_of_ada/libs_containers_strings_and_dynamic_memory.txt)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (fundamentals_of_ada/libs_containers_strings_and_dynamic_memory.txt)
Docker pull failed with exit code 1, back off 5.087 seconds before retry.
|
|
Slides (gnat_studio)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (codepeer)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (gnat_project_facility)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (fundamentals_of_ada/advanced.txt)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (advanced_exception_analysis)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (gnat_studio/course.txt)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (gnat_project_facility/standard_course.txt)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (fundamentals_of_ada/opat.txt)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (fundamentals_of_ada/standard_course.txt)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (gnatdas)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (fundamentals_of_ada/gnat.txt)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (gnattest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (gnatsas)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (spark_for_ada_programmers/course.txt)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (static_analysis_suite/static_analysis_suite.txt)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (static_analysis_via_compiler)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (static_analysis_suite)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (spark_for_ada_programmers)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Slides (fundamentals_of_ada)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Advanced Exception Analysis
Expired
|
484 KB |
|
|
|
CodePeer
Expired
|
849 KB |
|
|
|
CodePeer labs
Expired
|
1.75 MB |
|
|
|
Fundamentals Of Ada
Expired
|
24.4 MB |
|
|
|
Fundamentals Of Ada - Advanced
Expired
|
1.7 MB |
|
|
|
Fundamentals Of Ada - Gnat
Expired
|
3.91 MB |
|
|
|
Fundamentals Of Ada - Gnat Studio
Expired
|
397 KB |
|
|
|
Fundamentals Of Ada - Libs Containers Strings And Dynamic Memory
Expired
|
619 KB |
|
|
|
Fundamentals Of Ada - Opat
Expired
|
3.8 MB |
|
|
|
Fundamentals Of Ada - Standard Course
Expired
|
3.68 MB |
|
|
|
GNAT Dynamic Analysis Suite
Expired
|
3.47 MB |
|
|
|
GNAT Project Facility
Expired
|
1.79 MB |
|
|
|
GNAT Project Facility - Standard Course
Expired
|
536 KB |
|
|
|
GNAT Project Facility labs
Expired
|
883 KB |
|
|
|
GNAT Static Analysis Suite
Expired
|
5.28 MB |
|
|
|
GNAT Studio
Expired
|
3.49 MB |
|
|
|
GNAT Studio - Course
Expired
|
2.14 MB |
|
|
|
GNATcheck
Expired
|
1.14 MB |
|
|
|
GNATcoverage
Expired
|
1.02 MB |
|
|
|
GNATtest
Expired
|
1.72 MB |
|
|
|
Mini Project - Mini Cinema
Expired
|
524 KB |
|
|
|
SPARK
Expired
|
8.34 MB |
|
|
|
SPARK - Course
Expired
|
3.72 MB |
|
|
|
Static Analysis Suite
Expired
|
3.61 MB |
|
|
|
Static Analysis Suite - Static Analysis Suite
Expired
|
1.52 MB |
|
|
|
Static Analysis Via Compiler
Expired
|
951 KB |
|