Skip to content

Actions: AdaCore/RecordFlux

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
307 workflow runs
307 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL CodeQL #1412: Scheduled
February 10, 2024 13:29 3m 15s main
main
February 10, 2024 13:29 3m 15s
Ensure deterministic CLI documentation CodeQL #1411: Commit 84c5923 pushed by adacore-bot
February 9, 2024 11:29 3m 14s main
main
February 9, 2024 11:29 3m 14s
Prevent different casings for same entity CodeQL #1410: Commit 93aac98 pushed by adacore-bot
February 7, 2024 18:11 3m 41s main
main
February 7, 2024 18:11 3m 41s
CodeQL CodeQL #1409: Scheduled
February 3, 2024 13:29 3m 13s main
main
February 3, 2024 13:29 3m 13s
Fix Python version dependent help texts CodeQL #1408: Commit d8e878f pushed by adacore-bot
February 2, 2024 14:07 3m 23s main
main
February 2, 2024 14:07 3m 23s
Fix formatting of package-lock.json CodeQL #1407: Commit 6906766 pushed by adacore-bot
January 30, 2024 11:33 3m 19s main
main
January 30, 2024 11:33 3m 19s
Add 0.18.0 to CHANGELOG CodeQL #1406: Commit 92de267 pushed by adacore-bot
January 30, 2024 10:12 3m 19s main
main
January 30, 2024 10:12 3m 19s
Prevent use of specific messages as sequence element tests #3624: Commit c15f132 pushed by treiher
January 29, 2024 15:49 Startup failure @senier_spdm_m2
@senier_spdm_m2
January 29, 2024 15:49 Startup failure
Fix misleading CLI output about verification CodeQL #1405: Commit d321024 pushed by adacore-bot
January 29, 2024 12:05 3m 36s main
main
January 29, 2024 12:05 3m 36s
CodeQL CodeQL #1404: Scheduled
January 27, 2024 13:29 3m 32s main
main
January 27, 2024 13:29 3m 32s
Pass bytes array directly instead of pointer type CodeQL #1403: Commit ea2f958 pushed by adacore-bot
January 26, 2024 02:24 3m 24s main
main
January 26, 2024 02:24 3m 24s
Implement fuzzing driver using cobrafuzz CodeQL #1402: Commit 8f495fc pushed by adacore-bot
January 25, 2024 10:41 3m 36s main
main
January 25, 2024 10:41 3m 36s
Update changelog CodeQL #1401: Commit 28a0589 pushed by adacore-bot
January 24, 2024 15:10 3m 39s main
main
January 24, 2024 15:10 3m 39s
Remove option for skipping message verification in validator CodeQL #1400: Commit bce42f7 pushed by adacore-bot
January 22, 2024 16:32 3m 38s main
main
January 22, 2024 16:32 3m 38s
Fix missing diagnostics provided by language server CodeQL #1399: Commit 98b5e97 pushed by adacore-bot
January 22, 2024 14:37 3m 50s main
main
January 22, 2024 14:37 3m 50s
Add Ada_2012 pragma to all generated files CodeQL #1398: Commit cdba8e0 pushed by adacore-bot
January 22, 2024 10:15 3m 39s main
main
January 22, 2024 10:15 3m 39s
CodeQL CodeQL #1397: Scheduled
January 20, 2024 13:30 3m 43s main
main
January 20, 2024 13:30 3m 43s
Fix the versions of sphinx-related dependencies CodeQL #1396: Commit abc8d9f pushed by adacore-bot
January 16, 2024 15:33 3m 36s main
main
January 16, 2024 15:33 3m 36s
CodeQL CodeQL #1395: Scheduled
January 13, 2024 13:29 3m 24s main
main
January 13, 2024 13:29 3m 24s
Increase timeout for Python-based ping test CodeQL #1394: Commit a9fe4e8 pushed by adacore-bot
January 8, 2024 12:15 3m 42s main
main
January 8, 2024 12:15 3m 42s
CodeQL CodeQL #1393: Scheduled
January 6, 2024 13:29 3m 35s main
main
January 6, 2024 13:29 3m 35s
Reduce coupling in code generator CodeQL #1392: Commit e728909 pushed by adacore-bot
January 5, 2024 13:11 3m 25s main
main
January 5, 2024 13:11 3m 25s
Fix determination of compatibility and common type of integer types CodeQL #1391: Commit 1a75100 pushed by adacore-bot
January 5, 2024 11:13 3m 25s main
main
January 5, 2024 11:13 3m 25s
Add code formatting for VS Code extension CodeQL #1390: Commit fcfc2b6 pushed by adacore-bot
January 5, 2024 10:17 3m 37s main
main
January 5, 2024 10:17 3m 37s
Move check for illegal redefinition of built-in types into model CodeQL #1389: Commit 879d772 pushed by adacore-bot
January 4, 2024 10:09 3m 40s main
main
January 4, 2024 10:09 3m 40s