Skip to content

Actions: AdaCore/e3-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow run results
36 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #632 from JulienBortolussiAda/dependency_add_dict_… build #531: Commit 8527452 pushed by JulienBortolussiAda
October 12, 2023 16:00 4m 2s master
master
October 12, 2023 16:00 4m 2s
Push on master CodeQL #12: by JulienBortolussiAda
October 12, 2023 16:00 4m 59s master
master
October 12, 2023 16:00 4m 59s
Add SPDXPackageSupplier enum build #530: Pull request #644 opened by leocardao
October 11, 2023 13:06 4m 49s leocardao:mr/cardao/add-SPDXPackageSupplier-enum
leocardao:mr/cardao/add-SPDXPackageSupplier-enum
October 11, 2023 13:06 4m 49s
Scheduled CodeQL #11: by github-advanced-security bot
October 10, 2023 17:45 4m 31s master
master
October 10, 2023 17:45 4m 31s
git.py(git_cmd): always pass "-c" "fetch.prune=false" to git build #529: Pull request #643 opened by glacambre
October 6, 2023 16:22 3m 41s glacambre:wip/override-fetch-setting
glacambre:wip/override-fetch-setting
October 6, 2023 16:22 3m 41s
Add testing for python 3.11 build #528: Pull request #642 synchronize by JulienBortolussiAda
October 6, 2023 15:10 2m 39s JulienBortolussiAda:add_testing_for_python_3.11_3.12
JulienBortolussiAda:add_testing_for_python_3.11_3.12
October 6, 2023 15:10 2m 39s
Add testing for python 3.11 build #527: Pull request #642 opened by JulienBortolussiAda
October 6, 2023 14:42 2m 28s JulienBortolussiAda:add_testing_for_python_3.11_3.12
JulienBortolussiAda:add_testing_for_python_3.11_3.12
October 6, 2023 14:42 2m 28s
Add readme management into anod spec build #526: Pull request #640 synchronize by leocardao
October 6, 2023 10:15 3m 41s leocardao:mr/cardao/add-readme-management
leocardao:mr/cardao/add-readme-management
October 6, 2023 10:15 3m 41s
Add readme management into anod spec build #525: Pull request #640 synchronize by leocardao
October 5, 2023 13:50 4m 20s leocardao:mr/cardao/add-readme-management
leocardao:mr/cardao/add-readme-management
October 5, 2023 13:50 4m 20s
Add readme management into anod spec build #524: Pull request #640 synchronize by leocardao
October 5, 2023 13:40 3m 17s leocardao:mr/cardao/add-readme-management
leocardao:mr/cardao/add-readme-management
October 5, 2023 13:40 3m 17s
Add readme management into anod spec build #523: Pull request #640 opened by leocardao
October 5, 2023 12:52 4m 9s leocardao:mr/cardao/add-readme-management
leocardao:mr/cardao/add-readme-management
October 5, 2023 12:52 4m 9s
Merge pull request #639 from leocardao/mr/cardao/fix-doc-build-failure build #522: Commit 8016bdb pushed by leocardao
October 4, 2023 14:07 3m 57s master
master
October 4, 2023 14:07 3m 57s
Push on master CodeQL #10: by leocardao
October 4, 2023 14:07 4m 40s master
master
October 4, 2023 14:07 4m 40s
Fix doc build failure build #521: Pull request #639 synchronize by leocardao
October 4, 2023 14:00 4m 14s leocardao:mr/cardao/fix-doc-build-failure
leocardao:mr/cardao/fix-doc-build-failure
October 4, 2023 14:00 4m 14s
Fix doc build failure build #520: Pull request #639 opened by leocardao
October 4, 2023 13:54 4m 8s leocardao:mr/cardao/fix-doc-build-failure
leocardao:mr/cardao/fix-doc-build-failure
October 4, 2023 13:54 4m 8s
Merge pull request #633 from JulienBortolussiAda/add_key_set_qualifier build #519: Commit 5f8a585 pushed by Nikokrock
October 4, 2023 10:26 3m 55s master
master
October 4, 2023 10:26 3m 55s
Push on master CodeQL #9: by Nikokrock
October 4, 2023 10:26 4m 39s master
master
October 4, 2023 10:26 4m 39s
Scheduled CodeQL #8: by github-advanced-security bot
October 3, 2023 17:30 4m 42s master
master
October 3, 2023 17:30 4m 42s
Authorize qualifier dictionaries in Dependency build #518: Pull request #632 synchronize by JulienBortolussiAda
October 3, 2023 12:47 3m 39s JulienBortolussiAda:dependency_add_dict_qualifier
JulienBortolussiAda:dependency_add_dict_qualifier
October 3, 2023 12:47 3m 39s
Add support for key_set qualifier build #517: Pull request #633 synchronize by JulienBortolussiAda
October 3, 2023 12:47 3m 51s JulienBortolussiAda:add_key_set_qualifier
JulienBortolussiAda:add_key_set_qualifier
October 3, 2023 12:47 3m 51s
Merge pull request #634 from JulienBortolussiAda/raise_empty_diff_error build #516: Commit 1c03c2f pushed by JulienBortolussiAda
October 3, 2023 09:06 3m 55s master
master
October 3, 2023 09:06 3m 55s
Push on master CodeQL #7: by JulienBortolussiAda
October 3, 2023 09:06 4m 27s master
master
October 3, 2023 09:06 4m 27s
Add support for key_set qualifier build #515: Pull request #633 synchronize by JulienBortolussiAda
September 29, 2023 10:18 4m 28s JulienBortolussiAda:add_key_set_qualifier
JulienBortolussiAda:add_key_set_qualifier
September 29, 2023 10:18 4m 28s
Scheduled CodeQL #6: by github-advanced-security bot
September 26, 2023 17:45 5m 16s master
master
September 26, 2023 17:45 5m 16s
Merge pull request #638 from adanaja/fix build #514: Commit ffadad2 pushed by adanaja
September 22, 2023 10:37 5m 31s master
master
September 22, 2023 10:37 5m 31s