Skip to content

Actions: AdaCore/e3-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
590 workflow runs
590 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #664 from Nikokrock/mr/improve_perf
build #591: Commit 51ce4f9 pushed by Nikokrock
January 11, 2024 10:31 2m 54s master
January 11, 2024 10:31 2m 54s
Improve anod specs and plans loading performance
build #590: Pull request #664 synchronize by Nikokrock
January 11, 2024 09:58 2m 32s Nikokrock:mr/improve_perf
January 11, 2024 09:58 2m 32s
Improve anod specs and plans loading performance
build #589: Pull request #664 synchronize by Nikokrock
January 11, 2024 09:52 2m 55s Nikokrock:mr/improve_perf
January 11, 2024 09:52 2m 55s
Improve anod specs and plans loading performance
build #588: Pull request #664 synchronize by Nikokrock
January 10, 2024 11:31 3m 34s Nikokrock:mr/improve_perf
January 10, 2024 11:31 3m 34s
Improve anod specs and plans loading performance
build #587: Pull request #664 synchronize by Nikokrock
January 10, 2024 08:46 2m 43s Nikokrock:mr/improve_perf
January 10, 2024 08:46 2m 43s
Improve anod specs and plans loading performance
build #586: Pull request #664 synchronize by Nikokrock
January 10, 2024 08:41 2m 38s Nikokrock:mr/improve_perf
January 10, 2024 08:41 2m 38s
Scheduled
CodeQL #46: by github-advanced-security bot
January 9, 2024 17:45 3m 35s master
January 9, 2024 17:45 3m 35s
Push on master
CodeQL #45: by leocardao
January 8, 2024 16:16 3m 13s master
January 8, 2024 16:16 3m 13s
Merge pull request #663 from setton/master
build #584: Commit f2aa32f pushed by leocardao
January 8, 2024 16:16 2m 52s master
January 8, 2024 16:16 2m 52s
build
build #583: by leocardao
January 8, 2024 16:13 2m 45s master
January 8, 2024 16:13 2m 45s
Push on master
CodeQL #44: by leocardao
January 8, 2024 16:12 3m 2s master
January 8, 2024 16:12 3m 2s
loader.spec: Allow clients to specify their AnodSpecRepository
build #582: Pull request #663 synchronize by setton
January 5, 2024 16:00 2m 48s setton:master
January 5, 2024 16:00 2m 48s
January 5, 2024 15:28 2m 55s
Push on master
CodeQL #43: by enzbang
January 5, 2024 15:28 3m 18s master
January 5, 2024 15:28 3m 18s
loader.spec: Allow clients to specify their AnodSpecRepository
build #580: Pull request #663 synchronize by setton
January 5, 2024 12:19 2m 42s setton:master
January 5, 2024 12:19 2m 42s
loader.spec: Allow clients to specify their AnodSpecRepository
build #579: Pull request #663 opened by setton
January 5, 2024 12:14 2m 47s setton:master
January 5, 2024 12:14 2m 47s
loader.spec: cache the global spec repository
build #578: Pull request #662 opened by setton
January 5, 2024 11:03 1m 33s setton:master
January 5, 2024 11:03 1m 33s
Scheduled
CodeQL #42: by github-advanced-security bot
January 2, 2024 17:01 3m 13s master
January 2, 2024 17:01 3m 13s
Scheduled
CodeQL #41: by github-advanced-security bot
December 26, 2023 17:00 3m 11s master
December 26, 2023 17:00 3m 11s
Scheduled
CodeQL #40: by github-advanced-security bot
December 19, 2023 17:15 3m 18s master
December 19, 2023 17:15 3m 18s
ProTip! You can narrow down the results and go further in time using created:<2023-12-18 or the other filters available.