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

CodeQL CodeQL #1360: Scheduled
November 18, 2023 13:29 3m 36s main
main
November 18, 2023 13:29 3m 36s
Fix error due to invalid VS Code extension version in CI CodeQL #1359: Commit 12cabc6 pushed by adacore-bot
November 17, 2023 15:47 3m 43s main
main
November 17, 2023 15:47 3m 43s
Improve pytest's test collection time CodeQL #1358: Commit 8ed437c pushed by adacore-bot
November 16, 2023 16:04 4m 0s main
main
November 16, 2023 16:04 4m 0s
Add the AdaCore logo in the doc CodeQL #1357: Commit e7fe635 pushed by adacore-bot
November 16, 2023 14:55 3m 52s main
main
November 16, 2023 14:55 3m 52s
Update pygls CodeQL #1356: Commit 8dccac9 pushed by adacore-bot
November 14, 2023 12:43 5m 52s main
main
November 14, 2023 12:43 5m 52s
Add scheduled CI job for testing with SPARK wavefront CodeQL #1355: Commit f03f276 pushed by adacore-bot
November 13, 2023 12:35 4m 46s main
main
November 13, 2023 12:35 4m 46s
Add support for FSF GNAT 13 CodeQL #1354: Commit 64e8ea2 pushed by adacore-bot
November 13, 2023 11:55 5m 57s main
main
November 13, 2023 11:55 5m 57s
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
ProTip! You can narrow down the results and go further in time using created:<2023-11-03 or the other filters available.