Skip to content

Actions: AdaCore/RecordFlux

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
304 workflow runs
304 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add postcondition to procedure CodeQL #1388: Commit 0024211 pushed by adacore-bot
January 4, 2024 09:11 3m 36s main
main
January 4, 2024 09:11 3m 36s
Add 0.17.0 to CHANGELOG CodeQL #1387: Commit 589feff pushed by adacore-bot
January 3, 2024 12:06 3m 22s main
main
January 3, 2024 12:06 3m 22s
Fix fatal error when GraphViz is missing CodeQL #1386: Commit 12e8d25 pushed by adacore-bot
January 2, 2024 16:19 3m 31s main
main
January 2, 2024 16:19 3m 31s
CodeQL CodeQL #1385: Scheduled
December 30, 2023 13:29 3m 19s main
main
December 30, 2023 13:29 3m 19s
CodeQL CodeQL #1384: Scheduled
December 23, 2023 13:29 3m 35s main
main
December 23, 2023 13:29 3m 35s
Reject sequences of parameterized messages CodeQL #1383: Commit 897a815 pushed by adacore-bot
December 19, 2023 12:27 3m 39s main
main
December 19, 2023 12:27 3m 39s
Ensure CLI documentation is up-to-date CodeQL #1382: Commit b1661ed pushed by adacore-bot
December 19, 2023 11:17 3m 52s main
main
December 19, 2023 11:17 3m 52s
Add job artifacts in CI CodeQL #1381: Commit d6d813e pushed by adacore-bot
December 19, 2023 10:26 3m 36s main
main
December 19, 2023 10:26 3m 36s
CodeQL CodeQL #1380: Scheduled
December 16, 2023 13:29 3m 41s main
main
December 16, 2023 13:29 3m 41s
Add checking of ticket references in commit messages CodeQL #1379: Commit 254c1f3 pushed by adacore-bot
December 14, 2023 16:59 4m 4s main
main
December 14, 2023 16:59 4m 4s
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
ProTip! You can narrow down the results and go further in time using created:<2023-11-24 or the other filters available.