Skip to content

Actions: AdaCore/RecordFlux

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
310 workflow runs
310 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ensure Consistent Python Version Usage CodeQL #1523: Commit b597640 pushed by adacore-bot
August 7, 2024 13:48 3m 30s main
main
August 7, 2024 13:48 3m 30s
Rerun make after devutils has been checked out CodeQL #1522: Commit f3ec4e9 pushed by adacore-bot
August 6, 2024 08:31 10m 20s main
main
August 6, 2024 08:31 10m 20s
Add error messages improvement to changelog CodeQL #1521: Commit 6b77f13 pushed by adacore-bot
August 5, 2024 13:16 3m 47s main
main
August 5, 2024 13:16 3m 47s
CodeQL CodeQL #1520: Scheduled
August 3, 2024 13:29 3m 8s main
main
August 3, 2024 13:29 3m 8s
Allow clippy::trivially_copy_pass_by_ref for rapidflux CodeQL #1519: Commit 35678bd pushed by adacore-bot
August 1, 2024 15:04 3m 26s main
main
August 1, 2024 15:04 3m 26s
Add anod testing to the CI CodeQL #1518: Commit ac93474 pushed by adacore-bot
August 1, 2024 13:49 3m 27s main
main
August 1, 2024 13:49 3m 27s
Fix usage of reserved keyword in condition CodeQL #1517: Commit 7bddb42 pushed by adacore-bot
August 1, 2024 13:27 3m 35s main
main
August 1, 2024 13:27 3m 35s
Add rapidflux macros documentation CodeQL #1516: Commit 9fd9601 pushed by adacore-bot
July 31, 2024 16:24 3m 25s main
main
July 31, 2024 16:24 3m 25s
Add enhanced non scalar parameter diagnostics to changelog CodeQL #1515: Commit 636619f pushed by adacore-bot
July 31, 2024 16:16 3m 37s main
main
July 31, 2024 16:16 3m 37s
CodeQL CodeQL #1514: Scheduled
July 27, 2024 13:29 3m 23s main
main
July 27, 2024 13:29 3m 23s
CodeQL CodeQL #1513: Scheduled
July 20, 2024 13:29 3m 21s main
main
July 20, 2024 13:29 3m 21s
Improve cleaning of caches CodeQL #1512: Commit 18dff5e pushed by adacore-bot
July 19, 2024 09:58 3m 11s main
main
July 19, 2024 09:58 3m 11s
Fix GNATprove caching for SPDM responder example CodeQL #1511: Commit 63d3a47 pushed by adacore-bot
July 19, 2024 09:53 3m 22s main
main
July 19, 2024 09:53 3m 22s
Add 0.22.0 to CHANGELOG CodeQL #1510: Commit b4dcd38 pushed by adacore-bot
July 18, 2024 09:55 3m 32s main
main
July 18, 2024 09:55 3m 32s
Define "IO state" in the LR CodeQL #1509: Commit d7db7d6 pushed by adacore-bot
July 17, 2024 19:45 3m 25s main
main
July 17, 2024 19:45 3m 25s
Separate function for each field for Field_First CodeQL #1508: Commit fc96bb2 pushed by adacore-bot
July 17, 2024 14:50 3m 23s main
main
July 17, 2024 14:50 3m 23s
Fix network access for GNAT wavefront compatibility job CodeQL #1507: Commit 8c5b7d7 pushed by adacore-bot
July 16, 2024 18:35 3m 47s main
main
July 16, 2024 18:35 3m 47s
Update setuptools to fix security vulnerability CodeQL #1506: Commit 4da09c9 pushed by adacore-bot
July 16, 2024 18:13 3m 35s main
main
July 16, 2024 18:13 3m 35s
Add documentation for external IO buffers CodeQL #1505: Commit 5ddd9a3 pushed by adacore-bot
July 16, 2024 15:57 3m 38s main
main
July 16, 2024 15:57 3m 38s
Use the latest available GNAT in the CI CodeQL #1504: Commit 6e7495f pushed by adacore-bot
July 16, 2024 11:25 3m 21s main
main
July 16, 2024 11:25 3m 21s
CodeQL CodeQL #1503: Scheduled
July 13, 2024 13:30 3m 11s main
main
July 13, 2024 13:30 3m 11s
Update development guide CodeQL #1502: Commit 32972a9 pushed by adacore-bot
July 11, 2024 14:59 3m 15s main
main
July 11, 2024 14:59 3m 15s
Add removal of unused temporary variables CodeQL #1501: Commit 7083155 pushed by adacore-bot
July 10, 2024 15:20 3m 22s main
main
July 10, 2024 15:20 3m 22s
Improve format of error when type is not compatible CodeQL #1500: Commit b3517c7 pushed by adacore-bot
July 10, 2024 12:45 3m 16s main
main
July 10, 2024 12:45 3m 16s
Add artifacts for anod CI jobs CodeQL #1499: Commit e48f782 pushed by adacore-bot
July 10, 2024 11:56 3m 41s main
main
July 10, 2024 11:56 3m 41s