Skip to content

Actions: AdaCore/RecordFlux

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
310 workflow runs
310 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL CodeQL #1473: Scheduled
May 11, 2024 13:30 3m 2s main
main
May 11, 2024 13:30 3m 2s
CodeQL CodeQL #1472: Scheduled
May 4, 2024 13:29 3m 18s main
main
May 4, 2024 13:29 3m 18s
Remove unnecessary subexpression CodeQL #1471: Commit d8da4b2 pushed by adacore-bot
April 29, 2024 11:44 3m 5s main
main
April 29, 2024 11:44 3m 5s
CodeQL CodeQL #1470: Scheduled
April 27, 2024 13:29 3m 25s main
main
April 27, 2024 13:29 3m 25s
Update changelog CodeQL #1469: Commit c5ce2af pushed by adacore-bot
April 26, 2024 08:51 3m 12s main
main
April 26, 2024 08:51 3m 12s
Retrieve circuit when a cycle is detected CodeQL #1468: Commit daf085f pushed by adacore-bot
April 25, 2024 10:43 3m 12s main
main
April 25, 2024 10:43 3m 12s
Run GitLab CI pipelines for tags CodeQL #1467: Commit 3b2f30e pushed by adacore-bot
April 24, 2024 13:58 3m 15s main
main
April 24, 2024 13:58 3m 15s
Add 0.21.0 to CHANGELOG CodeQL #1466: Commit bbe25b3 pushed by adacore-bot
April 24, 2024 11:28 3m 20s main
main
April 24, 2024 11:28 3m 20s
Revert "Add pynacl & cryptography dependencies" CodeQL #1465: Commit d5d190c pushed by adacore-bot
April 22, 2024 16:03 3m 20s main
main
April 22, 2024 16:03 3m 20s
Add pynacl & cryptography dependencies CodeQL #1464: Commit 3cfccaf pushed by adacore-bot
April 22, 2024 12:28 3m 54s main
main
April 22, 2024 12:28 3m 54s
CodeQL CodeQL #1463: Scheduled
April 20, 2024 13:29 3m 6s main
main
April 20, 2024 13:29 3m 6s
Change project file of ping example CodeQL #1462: Commit 4bed90c pushed by adacore-bot
April 18, 2024 08:57 3m 8s main
main
April 18, 2024 08:57 3m 8s
Fix GNAT Studio errors in example apps CodeQL #1461: Commit cc68068 pushed by adacore-bot
April 17, 2024 12:39 3m 17s main
main
April 17, 2024 12:39 3m 17s
Fix expected code coverage for tools CodeQL #1460: Commit e28fec1 pushed by adacore-bot
April 16, 2024 14:27 3m 21s main
main
April 16, 2024 14:27 3m 21s
Fix code generation for Boolean conditions CodeQL #1459: Commit a1cfbac pushed by adacore-bot
April 16, 2024 01:13 3m 31s main
main
April 16, 2024 01:13 3m 31s
Add slightly misleading error on package name casing to changelog CodeQL #1458: Commit f65feae pushed by adacore-bot
April 15, 2024 14:24 3m 11s main
main
April 15, 2024 14:24 3m 11s
Remove flaky test CodeQL #1457: Commit 8f53b42 pushed by adacore-bot
April 15, 2024 11:58 3m 7s main
main
April 15, 2024 11:58 3m 7s
Improve testing of code generator CodeQL #1456: Commit 21cd11a pushed by adacore-bot
April 15, 2024 08:16 3m 25s main
main
April 15, 2024 08:16 3m 25s
CodeQL CodeQL #1455: Scheduled
April 13, 2024 13:29 3m 8s main
main
April 13, 2024 13:29 3m 8s
Improve unnecessary parser rebuild prevention in the CI CodeQL #1454: Commit b650505 pushed by adacore-bot
April 11, 2024 11:30 3m 5s main
main
April 11, 2024 11:30 3m 5s
Make sure that Poetry and thereby the expected venv are used in make … CodeQL #1453: Commit 8bd5ec5 pushed by adacore-bot
April 10, 2024 12:41 3m 21s main
main
April 10, 2024 12:41 3m 21s
Make Call expressions have a mandatory type CodeQL #1452: Commit fca894c pushed by adacore-bot
April 10, 2024 07:26 3m 2s main
main
April 10, 2024 07:26 3m 2s
Introduce shorthand for common if-then-else for Ada expressions CodeQL #1451: Commit f00be0f pushed by adacore-bot
April 9, 2024 22:56 3m 16s main
main
April 9, 2024 22:56 3m 16s
Prevent unnecessary jobs in scheduled CI pipelines CodeQL #1450: Commit e1f923d pushed by adacore-bot
April 8, 2024 08:23 3m 29s main
main
April 8, 2024 08:23 3m 29s
CodeQL CodeQL #1449: Scheduled
April 6, 2024 13:30 3m 13s main
main
April 6, 2024 13:30 3m 13s