Skip to content

Actions: AdaCore/e3-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
338 workflow runs
338 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Push on master
CodeQL #265: by adacore-bot
March 25, 2025 09:24 1m 28s master
March 25, 2025 09:24 1m 28s
Merge branch 'mr/cardao/maven-checksum-handling' into 'master'
build #914: Commit 4eeace4 pushed by adacore-bot
March 24, 2025 09:10 2m 47s master
March 24, 2025 09:10 2m 47s
Push on master
CodeQL #264: by github-advanced-security bot
March 24, 2025 09:10 1m 49s master
March 24, 2025 09:10 1m 49s
Scheduled
CodeQL #263: by github-advanced-security bot
March 18, 2025 16:56 1m 33s master
March 18, 2025 16:56 1m 33s
Scheduled
CodeQL #262: by github-advanced-security bot
March 11, 2025 16:54 1m 35s master
March 11, 2025 16:54 1m 35s
Merge branch 'mr/simplify_process_typing' into 'master'
build #913: Commit 0383eee pushed by adacore-bot
March 6, 2025 11:15 3m 2s master
March 6, 2025 11:15 3m 2s
Push on master
CodeQL #261: by adacore-bot
March 6, 2025 11:15 1m 29s master
March 6, 2025 11:15 1m 29s
Merge branch 'mr/force_cpu_number' into 'master'
build #912: Commit 764ad6a pushed by adacore-bot
March 6, 2025 09:01 2m 59s master
March 6, 2025 09:01 2m 59s
Push on master
CodeQL #260: by adacore-bot
March 6, 2025 09:01 1m 36s master
March 6, 2025 09:01 1m 36s
Scheduled
CodeQL #259: by github-advanced-security bot
March 4, 2025 16:53 1m 29s master
March 4, 2025 16:53 1m 29s
Scheduled
CodeQL #258: by github-advanced-security bot
February 25, 2025 16:54 1m 33s master
February 25, 2025 16:54 1m 33s
Scheduled
CodeQL #257: by github-advanced-security bot
February 18, 2025 16:53 1m 30s master
February 18, 2025 16:53 1m 30s
Merge branch 'mr/ramonat/e3-pytest-without-coverage' into 'master'
build #911: Commit 2764bd4 pushed by adacore-bot
February 17, 2025 09:36 3m 12s master
February 17, 2025 09:36 3m 12s
Push on master
CodeQL #256: by adacore-bot
February 17, 2025 09:36 1m 33s master
February 17, 2025 09:36 1m 33s
Merge branch 'mr/ramonat/fix-test-on-macos' into 'master'
build #910: Commit ab54215 pushed by adacore-bot
February 14, 2025 09:11 2m 34s master
February 14, 2025 09:11 2m 34s
Push on master
CodeQL #255: by adacore-bot
February 14, 2025 09:11 1m 27s master
February 14, 2025 09:11 1m 27s
February 12, 2025 16:48 2m 57s
Push on master
CodeQL #254: by adacore-bot
February 12, 2025 16:48 1m 34s master
February 12, 2025 16:48 1m 34s
Merge branch 'mr/cardao/remove-dead-code' into 'master'
build #908: Commit 5de5779 pushed by adacore-bot
February 12, 2025 13:29 4m 6s master
February 12, 2025 13:29 4m 6s
Push on master
CodeQL #253: by adacore-bot
February 12, 2025 13:29 1m 39s master
February 12, 2025 13:29 1m 39s
Scheduled
CodeQL #252: by github-advanced-security bot
February 11, 2025 16:53 1m 35s master
February 11, 2025 16:53 1m 35s
Scheduled
CodeQL #251: by github-advanced-security bot
February 4, 2025 16:53 1m 29s master
February 4, 2025 16:53 1m 29s
Merge branch 'mr/cardao/add-e3.npm-and-e3.maven' into 'master'
build #907: Commit 08a0755 pushed by adacore-bot
February 4, 2025 14:04 2m 46s master
February 4, 2025 14:04 2m 46s
Push on master
CodeQL #250: by adacore-bot
February 4, 2025 14:04 1m 36s master
February 4, 2025 14:04 1m 36s
Merge branch 'automatic-merge' into 'master'
build #906: Commit 839f57a pushed by adacore-bot
February 4, 2025 13:04 2m 56s master
February 4, 2025 13:04 2m 56s