Skip to content

Actions: AdaCore/RecordFlux

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
305 workflow runs
305 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Makefile target to show fuzzing results CodeQL #1427: Commit cb6ae75 pushed by adacore-bot
March 5, 2024 09:42 3m 8s main
main
March 5, 2024 09:42 3m 8s
CodeQL CodeQL #1426: Scheduled
March 2, 2024 13:29 3m 12s main
main
March 2, 2024 13:29 3m 12s
Fix GNATprove caching CodeQL #1425: Commit 19456f3 pushed by adacore-bot
March 1, 2024 17:12 5m 19s main
main
March 1, 2024 17:12 5m 19s
Add 0.19.0 to CHANGELOG CodeQL #1424: Commit d592d43 pushed by adacore-bot
February 29, 2024 16:07 3m 31s main
main
February 29, 2024 16:07 3m 31s
Optimize performance of code optimizer CodeQL #1423: Commit 9217696 pushed by adacore-bot
February 28, 2024 12:03 3m 41s main
main
February 28, 2024 12:03 3m 41s
Simplify deactivation of development environment CodeQL #1422: Commit db5c42d pushed by adacore-bot
February 28, 2024 08:58 3m 21s main
main
February 28, 2024 08:58 3m 21s
Update development guide CodeQL #1421: Commit 7a85cf0 pushed by adacore-bot
February 26, 2024 17:41 3m 27s main
main
February 26, 2024 17:41 3m 27s
CodeQL CodeQL #1420: Scheduled
February 24, 2024 13:29 3m 23s main
main
February 24, 2024 13:29 3m 23s
Add creation of platform wheels publishing #11: Commit ce46131 pushed by treiher
February 23, 2024 16:27 6m 22s topic/reiher/1162-deploy-to-pypi
topic/reiher/1162-deploy-to-pypi
February 23, 2024 16:27 6m 22s
WIP publishing #10: Commit 0b37a88 pushed by treiher
February 23, 2024 13:13 6m 25s topic/reiher/1162-deploy-to-pypi
topic/reiher/1162-deploy-to-pypi
February 23, 2024 13:13 6m 25s
WIP publishing #9: Commit 4497af3 pushed by treiher
February 19, 2024 14:53 51s topic/reiher/1162-deploy-to-pypi
topic/reiher/1162-deploy-to-pypi
February 19, 2024 14:53 51s
WIP publishing #8: Commit 9132aba pushed by treiher
February 19, 2024 14:51 44s topic/reiher/1162-deploy-to-pypi
topic/reiher/1162-deploy-to-pypi
February 19, 2024 14:51 44s
WIP publishing #7: Commit b69d6b1 pushed by treiher
February 19, 2024 14:49 35s topic/reiher/1162-deploy-to-pypi
topic/reiher/1162-deploy-to-pypi
February 19, 2024 14:49 35s
WIP publishing #6: Commit b80183c pushed by treiher
February 19, 2024 14:39 5m 57s topic/reiher/1162-deploy-to-pypi
topic/reiher/1162-deploy-to-pypi
February 19, 2024 14:39 5m 57s
WIP publishing #5: Commit ba01245 pushed by treiher
February 19, 2024 13:43 4m 43s topic/reiher/1162-deploy-to-pypi
topic/reiher/1162-deploy-to-pypi
February 19, 2024 13:43 4m 43s
WIP publishing #4: Commit 7e69931 pushed by treiher
February 19, 2024 13:34 4m 26s topic/reiher/1162-deploy-to-pypi
topic/reiher/1162-deploy-to-pypi
February 19, 2024 13:34 4m 26s
WIP publishing #3: Commit b5f99b2 pushed by treiher
February 19, 2024 13:23 3m 38s topic/reiher/1162-deploy-to-pypi
topic/reiher/1162-deploy-to-pypi
February 19, 2024 13:23 3m 38s
WIP publishing #2: Commit 1151b29 pushed by treiher
February 19, 2024 13:07 53s topic/reiher/1162-deploy-to-pypi
topic/reiher/1162-deploy-to-pypi
February 19, 2024 13:07 53s
CodeQL CodeQL #1419: Scheduled
February 17, 2024 13:29 3m 9s main
main
February 17, 2024 13:29 3m 9s
WIP publishing #1: Commit 4c14187 pushed by treiher
February 16, 2024 16:54 Startup failure topic/reiher/1162-deploy-to-pypi
topic/reiher/1162-deploy-to-pypi
February 16, 2024 16:54 Startup failure
Remove super calls with parameters CodeQL #1418: Commit b40caf0 pushed by adacore-bot
February 15, 2024 13:36 3m 21s main
main
February 15, 2024 13:36 3m 21s
Call create_model in parser tests CodeQL #1417: Commit 71e53d9 pushed by adacore-bot
February 14, 2024 15:58 3m 21s main
main
February 14, 2024 15:58 3m 21s
Improve test documentation CodeQL #1416: Commit a06ce41 pushed by adacore-bot
February 13, 2024 13:39 3m 18s main
main
February 13, 2024 13:39 3m 18s
Add testing of documentation examples CodeQL #1415: Commit 43bf604 pushed by adacore-bot
February 12, 2024 17:18 3m 14s main
main
February 12, 2024 17:18 3m 14s
Fix error reporting in CLI CodeQL #1414: Commit 65f163c pushed by adacore-bot
February 12, 2024 16:34 3m 15s main
main
February 12, 2024 16:34 3m 15s