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

CodeQL CodeQL #1353: Scheduled
November 11, 2023 13:29 3m 37s main
main
November 11, 2023 13:29 3m 37s
Improve runtime of setup CI job CodeQL #1352: Commit 72a7f5f pushed by adacore-bot
November 10, 2023 10:56 4m 46s main
main
November 10, 2023 10:56 4m 46s
Preserve GNATCOLL_ICONV_OPT in Makefile if already set CodeQL #1351: Commit 415eb31 pushed by adacore-bot
November 9, 2023 18:55 5m 45s main
main
November 9, 2023 18:55 5m 45s
UG: Replace validator example image by text CodeQL #1350: Commit 54e76c6 pushed by adacore-bot
November 9, 2023 16:01 3m 36s main
main
November 9, 2023 16:01 3m 36s
Add testing of DCCP example CodeQL #1349: Commit 283636f pushed by adacore-bot
November 9, 2023 10:34 5m 41s main
main
November 9, 2023 10:34 5m 41s
Remove Code Owners CodeQL #1348: Commit beebbc9 pushed by adacore-bot
November 8, 2023 16:31 4m 51s main
main
November 8, 2023 16:31 4m 51s
Remove unused type in SPDM specification CodeQL #1347: Commit 3edb6da pushed by adacore-bot
November 8, 2023 14:57 3m 40s main
main
November 8, 2023 14:57 3m 40s
Add 0.15.0 to CHANGELOG CodeQL #1346: Commit c218326 pushed by adacore-bot
November 8, 2023 13:30 6m 0s main
main
November 8, 2023 13:30 6m 0s
Improve the names of enum literals generated from IANA registries CodeQL #1345: Commit 2219e75 pushed by adacore-bot
November 8, 2023 09:45 5m 7s main
main
November 8, 2023 09:45 5m 7s
Improve CI runtime CodeQL #1344: Commit 1ad07f4 pushed by adacore-bot
November 7, 2023 15:26 3m 46s main
main
November 7, 2023 15:26 3m 46s
Revert "Simplify Valid_Context predicate and generating code" CodeQL #1343: Commit 6a915fc pushed by adacore-bot
November 7, 2023 11:56 3m 29s main
main
November 7, 2023 11:56 3m 29s
Simplify Valid_Context predicate and generating code CodeQL #1342: Commit aa0abdf pushed by adacore-bot
November 6, 2023 08:01 3m 41s main
main
November 6, 2023 08:01 3m 41s
Remove unused code CodeQL #1341: Commit ee47a40 pushed by adacore-bot
November 6, 2023 01:04 3m 45s main
main
November 6, 2023 01:04 3m 45s
CodeQL CodeQL #1340: Scheduled
November 4, 2023 13:30 5m 52s main
main
November 4, 2023 13:30 5m 52s
Clean up VS Code extension manifest CodeQL #1339: Commit e1cf41e pushed by adacore-bot
November 3, 2023 18:33 3m 27s main
main
November 3, 2023 18:33 3m 27s
Exclude coverage status files from VScode explorer CodeQL #1338: Commit 3841cc7 pushed by adacore-bot
November 3, 2023 16:27 4m 56s main
main
November 3, 2023 16:27 4m 56s
Fix insufficient memory for tests job in CI CodeQL #1337: Commit 340b37b pushed by adacore-bot
November 3, 2023 14:24 3m 35s main
main
November 3, 2023 14:24 3m 35s
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
ProTip! You can narrow down the results and go further in time using created:<2023-10-26 or the other filters available.