ada/learn
0
0
Fork 0
mirror of https://github.com/AdaCore/learn.git synced 2026-02-12 13:00:42 -08:00
Code Issues Packages Projects Releases Wiki Activity
5,761 Commits 29 Branches 47 Tags
main
Commit Graph

5 Commits

Author SHA1 Message Date
gusthoff
1b36c64dd3 Revert "GitHub actions: reintroducing testing on "push"" 
This reverts commit 796989ca86.
 2025-02-22 17:56:36 +01:00
gusthoff
796989ca86 GitHub actions: reintroducing testing on "push" 2025-02-20 02:34:00 +01:00
gusthoff
e4bb7a5d62 GitHub actions: updating version of actions 2024-08-18 14:02:04 +02:00
Robert Tice
1f66038304 Changing CodeQL freq 
Moving CodeQL frequency to only run on PR so that we don't hit the API rate limit issue.
 2021-04-09 11:35:33 -04:00
Robert Tice
6792e5239f Create codeql-analysis.yml 2021-03-26 15:29:01 -04:00