Skip to content

Actions: AdaCore/RecordFlux

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
324 workflow runs
324 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL CodeQL #1588: Scheduled
November 30, 2024 13:32 2m 16s main
main
November 30, 2024 13:32 2m 16s
Update keyword highlighting CodeQL #1587: Commit a61b4d9 pushed by adacore-bot
November 27, 2024 12:21 2m 15s main
main
November 27, 2024 12:21 2m 15s
Use SPARK Pro 24.2 in CI CodeQL #1586: Commit fb08253 pushed by adacore-bot
November 27, 2024 10:38 2m 32s main
main
November 27, 2024 10:38 2m 32s
CodeQL CodeQL #1585: Scheduled
November 23, 2024 13:32 2m 14s main
main
November 23, 2024 13:32 2m 14s
Add support for GNAT/SPARK Pro 25.0 CodeQL #1584: Commit a8f88c5 pushed by adacore-bot
November 18, 2024 10:06 2m 16s main
main
November 18, 2024 10:06 2m 16s
CodeQL CodeQL #1583: Scheduled
November 16, 2024 13:32 2m 16s main
main
November 16, 2024 13:32 2m 16s
Remove name repetitions CodeQL #1582: Commit 9661524 pushed by adacore-bot
November 12, 2024 10:29 2m 25s main
main
November 12, 2024 10:29 2m 25s
CodeQL CodeQL #1581: Scheduled
November 9, 2024 13:30 2m 29s main
main
November 9, 2024 13:30 2m 29s
Make integer syntax style check configurable CodeQL #1580: Commit c880a8d pushed by adacore-bot
November 6, 2024 11:39 2m 52s main
main
November 6, 2024 11:39 2m 52s
Explain default annotations in the user guide CodeQL #1579: Commit ccf0857 pushed by adacore-bot
November 5, 2024 21:22 3m 26s main
main
November 5, 2024 21:22 3m 26s
Add 0.25.0 to CHANGELOG CodeQL #1578: Commit 441ef01 pushed by adacore-bot
November 5, 2024 11:13 3m 22s main
main
November 5, 2024 11:13 3m 22s
Improve representation of locations CodeQL #1577: Commit 1820f90 pushed by adacore-bot
November 4, 2024 18:07 3m 15s main
main
November 4, 2024 18:07 3m 15s
CodeQL CodeQL #1576: Scheduled
November 2, 2024 13:31 3m 21s main
main
November 2, 2024 13:31 3m 21s
Remove invalid successors invariant from context predicate CodeQL #1575: Commit 4981cd5 pushed by adacore-bot
November 1, 2024 10:46 3m 29s main
main
November 1, 2024 10:46 3m 29s
Use shorthand unsigned type definitions in examples and tests CodeQL #1574: Commit 5c66746 pushed by adacore-bot
October 28, 2024 20:28 3m 21s main
main
October 28, 2024 20:28 3m 21s
Add switch to extract_packets.py to extract only the layer payload CodeQL #1573: Commit a603ffa pushed by adacore-bot
October 28, 2024 12:46 3m 30s main
main
October 28, 2024 12:46 3m 30s
CodeQL CodeQL #1572: Scheduled
October 26, 2024 13:31 3m 8s main
main
October 26, 2024 13:31 3m 8s
Test CLA assistant CodeQL #1571: Pull request #1305 opened by treiher
October 23, 2024 09:16 2m 59s topic/reiher/test
topic/reiher/test
October 23, 2024 09:16 2m 59s
Replace deprecated type annotations CodeQL #1570: Commit f8fef61 pushed by adacore-bot
October 22, 2024 15:26 3m 17s main
main
October 22, 2024 15:26 3m 17s
Improve proof time of feature test CodeQL #1569: Commit 23a2fe3 pushed by adacore-bot
October 22, 2024 10:33 3m 8s main
main
October 22, 2024 10:33 3m 8s
Remove Buffer argument when possible in helper functions CodeQL #1568: Commit abc1dc6 pushed by adacore-bot
October 22, 2024 00:27 3m 5s main
main
October 22, 2024 00:27 3m 5s
Add documentation for type conversion functions CodeQL #1567: Commit bd21c3d pushed by adacore-bot
October 21, 2024 14:50 3m 12s main
main
October 21, 2024 14:50 3m 12s
Add a Make rule to touch the build tree CodeQL #1566: Commit 8b010c9 pushed by adacore-bot
October 21, 2024 14:12 3m 25s main
main
October 21, 2024 14:12 3m 25s
Add switch to extract_packets.py to extract only the layer payload CodeQL #1565: Pull request #1304 opened by mgrojo
October 20, 2024 19:22 3m 9s mgrojo:feature/tool-extract-payload
mgrojo:feature/tool-extract-payload
October 20, 2024 19:22 3m 9s
CodeQL CodeQL #1564: Scheduled
October 19, 2024 13:31 3m 14s main
main
October 19, 2024 13:31 3m 14s