Skip to content

Actions: AdaCore/RecordFlux

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
320 workflow runs
320 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix fatal errors caused by missing locations after proof timeouts CodeQL #1546: Commit 64a0df8 pushed by adacore-bot
September 11, 2024 09:14 3m 7s main
main
September 11, 2024 09:14 3m 7s
Enable SPARK proofs for SPDM responder example CodeQL #1545: Commit 6c0c94d pushed by adacore-bot
September 9, 2024 11:44 3m 9s main
main
September 9, 2024 11:44 3m 9s
CodeQL CodeQL #1544: Scheduled
September 7, 2024 13:30 3m 7s main
main
September 7, 2024 13:30 3m 7s
Fix initialization of SPDM responder CodeQL #1543: Commit 63738d1 pushed by adacore-bot
September 4, 2024 10:07 3m 14s main
main
September 4, 2024 10:07 3m 14s
Fix syntax highlighting for identifiers with numbers or keywords CodeQL #1542: Commit fd28222 pushed by adacore-bot
September 3, 2024 14:42 3m 28s main
main
September 3, 2024 14:42 3m 28s
CodeQL CodeQL #1541: Scheduled
August 31, 2024 13:30 3m 29s main
main
August 31, 2024 13:30 3m 29s
Rename function in code generator CodeQL #1540: Commit 75a7881 pushed by adacore-bot
August 30, 2024 13:13 3m 20s main
main
August 30, 2024 13:13 3m 20s
Update error message guideline CodeQL #1539: Commit db4d5ad pushed by adacore-bot
August 29, 2024 15:24 3m 15s main
main
August 29, 2024 15:24 3m 15s
Add support for project files to code optimizer CodeQL #1538: Commit dfb5354 pushed by adacore-bot
August 29, 2024 15:18 3m 31s main
main
August 29, 2024 15:18 3m 31s
Add CI job for creating Rust crates archive CodeQL #1537: Commit 42ec1b0 pushed by adacore-bot
August 29, 2024 11:31 3m 20s main
main
August 29, 2024 11:31 3m 20s
Add vim and neovim syntax CodeQL #1536: Commit 9f5ac97 pushed by adacore-bot
August 28, 2024 12:33 3m 24s main
main
August 28, 2024 12:33 3m 24s
Small optimization for messages with single field CodeQL #1535: Commit 90454fe pushed by adacore-bot
August 28, 2024 09:26 3m 16s main
main
August 28, 2024 09:26 3m 16s
CodeQL CodeQL #1534: Scheduled
August 24, 2024 13:29 3m 15s main
main
August 24, 2024 13:29 3m 15s
Add 0.23.0 to CHANGELOG CodeQL #1533: Commit d2e047a pushed by adacore-bot
August 23, 2024 09:08 3m 32s main
main
August 23, 2024 09:08 3m 32s
Use PEP604 type annotations CodeQL #1532: Commit a97e4eb pushed by adacore-bot
August 21, 2024 13:32 3m 39s main
main
August 21, 2024 13:32 3m 39s
Add Rust installation instructions to user's guide CodeQL #1531: Commit d711731 pushed by adacore-bot
August 21, 2024 13:11 3m 22s main
main
August 21, 2024 13:11 3m 22s
CodeQL CodeQL #1530: Scheduled
August 17, 2024 13:29 3m 37s main
main
August 17, 2024 13:29 3m 37s
Fix state machine contracts for external IO buffers CodeQL #1529: Commit f4962f1 pushed by adacore-bot
August 12, 2024 15:26 3m 34s main
main
August 12, 2024 15:26 3m 34s
CodeQL CodeQL #1528: Scheduled
August 10, 2024 13:29 3m 16s main
main
August 10, 2024 13:29 3m 16s
Add changelog entry for improve error message CodeQL #1527: Commit 489efe8 pushed by adacore-bot
August 9, 2024 09:09 3m 12s main
main
August 9, 2024 09:09 3m 12s
Ensure deterministic checking in check_unit_test_file_coverage_test CodeQL #1526: Commit f1da68b pushed by adacore-bot
August 8, 2024 13:51 3m 23s main
main
August 8, 2024 13:51 3m 23s
Refactor SPDM responder specification and docstrings CodeQL #1525: Commit bca2e60 pushed by adacore-bot
August 8, 2024 09:28 3m 25s main
main
August 8, 2024 09:28 3m 25s
Adapt bug box for the GNAT release CodeQL #1524: Commit 825da89 pushed by adacore-bot
August 7, 2024 16:26 3m 22s main
main
August 7, 2024 16:26 3m 22s
Ensure Consistent Python Version Usage CodeQL #1523: Commit b597640 pushed by adacore-bot
August 7, 2024 13:48 3m 30s main
main
August 7, 2024 13:48 3m 30s
Rerun make after devutils has been checked out CodeQL #1522: Commit f3ec4e9 pushed by adacore-bot
August 6, 2024 08:31 10m 20s main
main
August 6, 2024 08:31 10m 20s