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

Fix fatal error when comparing opaque fields CodeQL #1378: Commit c91993c pushed by adacore-bot
December 13, 2023 10:50 3m 36s main
main
December 13, 2023 10:50 3m 36s
CodeQL CodeQL #1377: Scheduled
December 9, 2023 13:29 3m 35s main
main
December 9, 2023 13:29 3m 35s
remove ignore_implicit_sizes argument CodeQL #1376: Commit a7f4d1e pushed by adacore-bot
December 8, 2023 07:51 3m 46s main
main
December 8, 2023 07:51 3m 46s
Remove proof of message coverage CodeQL #1375: Commit bc8ae3d pushed by adacore-bot
December 7, 2023 09:41 3m 38s main
main
December 7, 2023 09:41 3m 38s
Add 0.16.0 to CHANGELOG CodeQL #1374: Commit f5a45a7 pushed by adacore-bot
December 5, 2023 17:24 3m 41s main
main
December 5, 2023 17:24 3m 41s
Prevent non-terminating Z3 processes CodeQL #1373: Commit db1bfc6 pushed by adacore-bot
December 5, 2023 16:54 3m 47s main
main
December 5, 2023 16:54 3m 47s
Remove last occurrence of cvc4 CodeQL #1372: Commit e1a5af1 pushed by adacore-bot
December 5, 2023 09:34 3m 38s main
main
December 5, 2023 09:34 3m 38s
Add CLI option for ensuring reproducible output CodeQL #1371: Commit 32ca306 pushed by adacore-bot
December 4, 2023 19:42 3m 55s main
main
December 4, 2023 19:42 3m 55s
Remove parallelization of code generation for example apps CodeQL #1370: Commit 5abbf72 pushed by adacore-bot
December 4, 2023 14:54 3m 47s main
main
December 4, 2023 14:54 3m 47s
CodeQL CodeQL #1369: Scheduled
December 2, 2023 13:29 3m 30s main
main
December 2, 2023 13:29 3m 30s
Add TODO for ensuring reproducible test results CodeQL #1368: Commit 7171294 pushed by adacore-bot
December 1, 2023 16:14 3m 43s main
main
December 1, 2023 16:14 3m 43s
Add parser test for incomplete TLS session specification CodeQL #1367: Commit 665c51b pushed by adacore-bot
December 1, 2023 14:15 3m 41s main
main
December 1, 2023 14:15 3m 41s
remove cvc4 from project files CodeQL #1366: Commit 9ab5b4f pushed by adacore-bot
November 28, 2023 09:32 3m 47s main
main
November 28, 2023 09:32 3m 47s
CodeQL CodeQL #1365: Scheduled
November 25, 2023 13:29 3m 42s main
main
November 25, 2023 13:29 3m 42s
Refine setuptools and setuptools_scm installation CodeQL #1364: Commit 3198368 pushed by adacore-bot
November 24, 2023 19:31 3m 22s main
main
November 24, 2023 19:31 3m 22s
Remove unused reference in CI config CodeQL #1363: Commit 76a83b6 pushed by adacore-bot
November 24, 2023 14:46 3m 33s main
main
November 24, 2023 14:46 3m 33s
Execute DHCP and ping tests in VM CodeQL #1362: Commit f143459 pushed by adacore-bot
November 24, 2023 10:15 3m 46s main
main
November 24, 2023 10:15 3m 46s
Refine the spdm_responder's build directories CodeQL #1361: Commit 70928e8 pushed by adacore-bot
November 23, 2023 14:59 3m 47s main
main
November 23, 2023 14:59 3m 47s
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
ProTip! You can narrow down the results and go further in time using created:<2023-11-13 or the other filters available.