Skip to content

Actions: AdaCore/RecordFlux

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
52 workflow run results
52 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Temporarily disable tests for DHCP client example CodeQL #1336: Commit 72ba7f4 pushed by adacore-bot
November 3, 2023 10:26 6m 19s main
main
November 3, 2023 10:26 6m 19s
Change the grouping of the rflx validate -v and -i arguments CodeQL #1335: Commit f4b1bce pushed by adacore-bot
November 2, 2023 11:31 3m 31s main
main
November 2, 2023 11:31 3m 31s
fix typo in RM CodeQL #1334: Commit 8945f7d pushed by adacore-bot
November 2, 2023 01:32 4m 47s main
main
November 2, 2023 01:32 4m 47s
Add test samples for DTLS 1.3 and TLS 1.3 CodeQL #1333: Commit 0a09bca pushed by adacore-bot
November 1, 2023 17:03 6m 25s main
main
November 1, 2023 17:03 6m 25s
Fix fatal errors caused by condition on message type field CodeQL #1332: Commit 7bc9370 pushed by adacore-bot
November 1, 2023 09:31 4m 42s main
main
November 1, 2023 09:31 4m 42s
CodeQL CodeQL #1331: Scheduled
October 28, 2023 13:29 5m 10s main
main
October 28, 2023 13:29 5m 10s
Add support for GNAT Pro 24.0 CodeQL #1330: Commit 3592b83 pushed by adacore-bot
October 27, 2023 10:29 4m 51s main
main
October 27, 2023 10:29 4m 51s
speed up generation CodeQL #1329: Commit 5907dcf pushed by adacore-bot
October 26, 2023 09:28 5m 51s main
main
October 26, 2023 09:28 5m 51s
Fix handling of GNATCOLL_ICONV_OPT environment variable CodeQL #1328: Commit 9f1191b pushed by adacore-bot
October 24, 2023 11:57 4m 55s main
main
October 24, 2023 11:57 4m 55s
Remove unused package from Ping example CodeQL #1327: Commit 4153905 pushed by adacore-bot
October 24, 2023 09:46 5m 5s main
main
October 24, 2023 09:46 5m 5s
Use SPARK 24.0 release now that it's ready CodeQL #1326: Commit 66cd0ee pushed by adacore-bot
October 22, 2023 22:50 5m 11s main
main
October 22, 2023 22:50 5m 11s
CodeQL CodeQL #1325: Scheduled
October 21, 2023 13:29 5m 6s main
main
October 21, 2023 13:29 5m 6s
Remove redundant part from post of Set_Scalar CodeQL #1324: Commit e6c8d66 pushed by adacore-bot
October 20, 2023 11:37 4m 58s main
main
October 20, 2023 11:37 4m 58s
CodeQL CodeQL #1323: Scheduled
October 14, 2023 13:29 5m 31s main
main
October 14, 2023 13:29 5m 31s
Add DCCP example CodeQL #1322: Commit aa6d442 pushed by adacore-bot
October 13, 2023 20:29 5m 48s main
main
October 13, 2023 20:29 5m 48s
CodeQL CodeQL #1321: Scheduled
October 7, 2023 13:30 5m 33s main
main
October 7, 2023 13:30 5m 33s
CodeQL CodeQL #1320: Scheduled
September 30, 2023 13:29 5m 41s main
main
September 30, 2023 13:29 5m 41s
Add 0.14.0 to CHANGELOG CodeQL #1319: Commit ca7f2ee pushed by adacore-bot
September 26, 2023 17:59 6m 46s main
main
September 26, 2023 17:59 6m 46s
Unify conditions for subprogram generation CodeQL #1318: Commit ceea1b6 pushed by adacore-bot
September 26, 2023 08:35 5m 22s main
main
September 26, 2023 08:35 5m 22s
Simplify code after removal of Predecessor Field CodeQL #1317: Commit f6bb751 pushed by adacore-bot
September 26, 2023 00:48 5m 30s main
main
September 26, 2023 00:48 5m 30s
Refine the behavior of validate -v and -i arguments CodeQL #1316: Commit e7a0a30 pushed by adacore-bot
September 25, 2023 15:30 6m 51s main
main
September 25, 2023 15:30 6m 51s
Minor refinements in the user guide and language reference CodeQL #1315: Commit 86dbb77 pushed by adacore-bot
September 25, 2023 13:26 7m 25s main
main
September 25, 2023 13:26 7m 25s
CodeQL CodeQL #1314: Scheduled
September 23, 2023 13:30 5m 36s main
main
September 23, 2023 13:30 5m 36s
Correct some issues in UG example code CodeQL #1313: Commit 1903250 pushed by adacore-bot
September 22, 2023 12:27 5m 31s main
main
September 22, 2023 12:27 5m 31s
ICMP: Support RFC 1191 PMTU discovery CodeQL #1312: Commit 19fb226 pushed by adacore-bot
September 21, 2023 16:49 5m 41s main
main
September 21, 2023 16:49 5m 41s