Skip to content

Actions: AdaCore/RecordFlux

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
326 workflow runs
326 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

generated code CodeQL #1302: Commit 9ca4fab pushed by adacore-bot
September 7, 2023 16:21 5m 45s main
main
September 7, 2023 16:21 5m 45s
Changelog and doc changes for new SPARK version CodeQL #1301: Commit 39ae712 pushed by adacore-bot
September 7, 2023 08:27 5m 45s main
main
September 7, 2023 08:27 5m 45s
Reduce occurrence of failed code generation in CI CodeQL #1300: Commit ba0877d pushed by adacore-bot
September 6, 2023 15:14 5m 31s main
main
September 6, 2023 15:14 5m 31s
Use lankit parser for syntax highlighting CodeQL #1299: Commit a79edc2 pushed by adacore-bot
September 5, 2023 14:11 6m 47s main
main
September 5, 2023 14:11 6m 47s
Fix test code generation CodeQL #1298: Commit 7b7e99d pushed by adacore-bot
September 5, 2023 11:04 6m 2s main
main
September 5, 2023 11:04 6m 2s
Fix reinstallation of editable installs CodeQL #1297: Commit 101a426 pushed by adacore-bot
September 4, 2023 09:05 6m 2s main
main
September 4, 2023 09:05 6m 2s
CodeQL CodeQL #1296: Scheduled
September 2, 2023 13:29 6m 20s main
main
September 2, 2023 13:29 6m 20s
Fix scheduled CI jobs CodeQL #1295: Commit 4385ae3 pushed by adacore-bot
September 1, 2023 18:40 6m 24s main
main
September 1, 2023 18:40 6m 24s
changelog entry CodeQL #1294: Commit fc7d80b pushed by adacore-bot
September 1, 2023 08:56 5m 30s main
main
September 1, 2023 08:56 5m 30s
CHANGELOG and doc changes CodeQL #1293: Commit fcddff0 pushed by adacore-bot
August 30, 2023 09:37 6m 28s main
main
August 30, 2023 09:37 6m 28s
CodeQL CodeQL #1292: Scheduled
August 26, 2023 13:29 5m 43s main
main
August 26, 2023 13:29 5m 43s
Reject multiple occurrences of optional CLI arguments with values CodeQL #1291: Commit 1abfb5e pushed by adacore-bot
August 24, 2023 11:36 7m 7s main
main
August 24, 2023 11:36 7m 7s
Add checking for dependency changes in CI CodeQL #1290: Commit bffec3b pushed by adacore-bot
August 23, 2023 10:56 5m 21s main
main
August 23, 2023 10:56 5m 21s
Mention need for Node.js in development guide CodeQL #1289: Commit bc03e82 pushed by adacore-bot
August 22, 2023 14:16 6m 8s main
main
August 22, 2023 14:16 6m 8s
Add 0.12.0 to CHANGELOG CodeQL #1288: Commit 72db823 pushed by adacore-bot
August 22, 2023 08:52 6m 31s main
main
August 22, 2023 08:52 6m 31s
Remove installation of Node.js in CI CodeQL #1287: Commit dde32d4 pushed by adacore-bot
August 21, 2023 15:45 5m 53s main
main
August 21, 2023 15:45 5m 53s
Make reinstallation of editable installs more robust CodeQL #1286: Commit e63b56f pushed by adacore-bot
August 21, 2023 14:42 6m 36s main
main
August 21, 2023 14:42 6m 36s
Deduplicate code generation in CI CodeQL #1285: Commit 2b36c65 pushed by adacore-bot
August 21, 2023 13:40 5m 21s main
main
August 21, 2023 13:40 5m 21s
CodeQL CodeQL #1284: Scheduled
August 19, 2023 13:29 5m 25s main
main
August 19, 2023 13:29 5m 25s
Fix VS Code extension CodeQL #1283: Commit d9d50b8 pushed by adacore-bot
August 17, 2023 16:27 6m 49s main
main
August 17, 2023 16:27 6m 49s
Enable checking of line length CodeQL #1282: Commit e00eee9 pushed by adacore-bot
August 17, 2023 12:42 5m 40s main
main
August 17, 2023 12:42 5m 40s
VS Code settings: Remove some deprecated linters and formatters CodeQL #1281: Commit c271f8e pushed by adacore-bot
August 17, 2023 10:57 5m 21s main
main
August 17, 2023 10:57 5m 21s
Add unit test for now unused code CodeQL #1280: Commit 580fb91 pushed by adacore-bot
August 16, 2023 13:00 6m 22s main
main
August 16, 2023 13:00 6m 22s
Update devutils CodeQL #1279: Commit d5ec089 pushed by adacore-bot
August 15, 2023 10:46 6m 22s main
main
August 15, 2023 10:46 6m 22s
Fix GNATprove caching CodeQL #1278: Commit 8f4a636 pushed by adacore-bot
August 14, 2023 13:50 5m 34s main
main
August 14, 2023 13:50 5m 34s
ProTip! You can narrow down the results and go further in time using created:<2023-08-14 or the other filters available.