Skip to content

Actions: AdaCore/RecordFlux

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
252 workflow runs
252 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL CodeQL #1617: Scheduled
February 15, 2025 13:30 2m 23s main
main
February 15, 2025 13:30 2m 23s
Update dependencies of VS Code extension to fix security vulnerabilities CodeQL #1616: Commit 6e425ed pushed by adacore-bot
February 13, 2025 15:25 2m 34s main
main
February 13, 2025 15:25 2m 34s
Update cryptography to fix security vulnerability CodeQL #1615: Commit 3c9f82d pushed by adacore-bot
February 12, 2025 11:24 3m 12s main
main
February 12, 2025 11:24 3m 12s
CodeQL CodeQL #1614: Scheduled
February 8, 2025 13:29 2m 36s main
main
February 8, 2025 13:29 2m 36s
Fix validity of null messages in PyRFLX CodeQL #1613: Commit 59caf45 pushed by adacore-bot
February 4, 2025 14:21 2m 29s main
main
February 4, 2025 14:21 2m 29s
CodeQL CodeQL #1612: Scheduled
February 1, 2025 13:29 2m 34s main
main
February 1, 2025 13:29 2m 34s
CodeQL CodeQL #1611: Scheduled
January 25, 2025 13:29 2m 33s main
main
January 25, 2025 13:29 2m 33s
Update pypiserver for compatibility with Python 3.12 CodeQL #1610: Commit bb6d375 pushed by adacore-bot
January 21, 2025 14:24 2m 35s main
main
January 21, 2025 14:24 2m 35s
CodeQL CodeQL #1609: Scheduled
January 18, 2025 13:29 2m 35s main
main
January 18, 2025 13:29 2m 35s
CodeQL CodeQL #1608: Scheduled
January 11, 2025 13:30 2m 30s main
main
January 11, 2025 13:30 2m 30s
Fix display of message graphs in VS Code CodeQL #1607: Commit 4806578 pushed by adacore-bot
January 7, 2025 10:20 2m 17s main
main
January 7, 2025 10:20 2m 17s
CodeQL CodeQL #1606: Scheduled
January 4, 2025 13:30 2m 36s main
main
January 4, 2025 13:30 2m 36s
Update Python dependencies CodeQL #1605: Commit 453373e pushed by adacore-bot
January 3, 2025 13:56 2m 20s main
main
January 3, 2025 13:56 2m 20s
Add logging to the CI simulation CodeQL #1604: Commit 9412209 pushed by adacore-bot
January 3, 2025 10:47 2m 22s main
main
January 3, 2025 10:47 2m 22s
Update copyright year CodeQL #1603: Commit 06c26b1 pushed by adacore-bot
January 2, 2025 17:42 2m 30s main
main
January 2, 2025 17:42 2m 30s
CodeQL CodeQL #1602: Scheduled
December 28, 2024 13:30 2m 21s main
main
December 28, 2024 13:30 2m 21s
CodeQL CodeQL #1601: Scheduled
December 21, 2024 13:29 2m 18s main
main
December 21, 2024 13:29 2m 18s
Run CI simulations with a clean setup by default CodeQL #1600: Commit 4596982 pushed by adacore-bot
December 20, 2024 17:47 2m 18s main
main
December 20, 2024 17:47 2m 18s
Add make target for simulating CI jobs CodeQL #1599: Commit 5238768 pushed by adacore-bot
December 20, 2024 15:21 2m 21s main
main
December 20, 2024 15:21 2m 21s
Remove version in generated documentation CodeQL #1598: Commit 857ac27 pushed by adacore-bot
December 19, 2024 15:01 2m 37s main
main
December 19, 2024 15:01 2m 37s
Add 0.26.0 to CHANGELOG CodeQL #1597: Commit 3fb7aa8 pushed by adacore-bot
December 18, 2024 15:50 2m 45s main
main
December 18, 2024 15:50 2m 45s
Rewrite binary expressions in Rust CodeQL #1596: Commit 209664f pushed by adacore-bot
December 17, 2024 16:13 2m 36s main
main
December 17, 2024 16:13 2m 36s
CodeQL CodeQL #1595: Scheduled
December 14, 2024 13:32 2m 27s main
main
December 14, 2024 13:32 2m 27s
Rewrite basic expressions in Rust CodeQL #1594: Commit 4743adc pushed by adacore-bot
December 12, 2024 14:46 2m 32s main
main
December 12, 2024 14:46 2m 32s
Add implicit elements in named aggregates as alternative to box notation CodeQL #1593: Commit 83044b7 pushed by adacore-bot
December 11, 2024 09:47 2m 41s main
main
December 11, 2024 09:47 2m 41s