Skip to content

Actions: AdaCore/RecordFlux

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
294 workflow runs
294 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL CodeQL #1560: Scheduled
October 5, 2024 13:31 3m 13s main
main
October 5, 2024 13:31 3m 13s
CodeQL CodeQL #1559: Scheduled
September 28, 2024 13:31 3m 6s main
main
September 28, 2024 13:31 3m 6s
Revert "Rewrite remaining parts of typing module in Rust" CodeQL #1558: Commit 11d9924 pushed by adacore-bot
September 23, 2024 15:56 3m 31s main
main
September 23, 2024 15:56 3m 31s
CodeQL CodeQL #1557: Scheduled
September 21, 2024 13:30 3m 12s main
main
September 21, 2024 13:30 3m 12s
Fix consequential errors caused by undefined variables CodeQL #1556: Commit 9c1cd5c pushed by adacore-bot
September 20, 2024 13:30 3m 9s main
main
September 20, 2024 13:30 3m 9s
CodeQL CodeQL #1555: Scheduled
September 14, 2024 13:30 3m 7s main
main
September 14, 2024 13:30 3m 7s
Fix location of function parameter type CodeQL #1554: Commit 1ef5cc8 pushed by adacore-bot
September 13, 2024 16:06 3m 21s main
main
September 13, 2024 16:06 3m 21s
Remove requirements tool and references for feature coverage CodeQL #1553: Commit c26f0c9 pushed by adacore-bot
September 13, 2024 11:03 3m 4s main
main
September 13, 2024 11:03 3m 4s
Remove keep going after error in CI CodeQL #1552: Commit 88ac016 pushed by adacore-bot
September 13, 2024 11:01 3m 29s main
main
September 13, 2024 11:01 3m 29s
Add 0.24.0 to CHANGELOG CodeQL #1551: Commit c911a7b pushed by adacore-bot
September 12, 2024 14:57 3m 39s main
main
September 12, 2024 14:57 3m 39s
Enable configuration of prover memory limit for feature tests CodeQL #1550: Commit f1519da pushed by adacore-bot
September 11, 2024 15:08 3m 16s main
main
September 11, 2024 15:08 3m 16s
Include pytest in Python wheels archive CodeQL #1549: Commit 351c6d1 pushed by adacore-bot
September 11, 2024 10:00 3m 30s main
main
September 11, 2024 10:00 3m 30s
Fix cleaning of caches CodeQL #1548: Commit 7a7daa4 pushed by adacore-bot
September 11, 2024 09:41 3m 18s main
main
September 11, 2024 09:41 3m 18s
Improve error messages for inconsistent identifiers CodeQL #1547: Commit 80db1d7 pushed by adacore-bot
September 11, 2024 09:31 3m 38s main
main
September 11, 2024 09:31 3m 38s
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