Skip to content

Actions: AdaCore/training_material

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
873 workflow runs
873 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update README instructions for CI CI #1665: Commit ed2abb9 pushed by adacore-bot
March 27, 2024 14:09 9m 51s master
master
March 27, 2024 14:09 9m 51s
hotfix black 24 CI #1664: Commit 0fe0c7c pushed by adacore-bot
March 27, 2024 13:45 10m 2s master
master
March 27, 2024 13:45 10m 2s
Merge branch '7-spark-cleanup-task' into 'master' CI #1663: Commit bd39fdc pushed by adacore-bot
March 26, 2024 20:45 10m 19s master
master
March 26, 2024 20:45 10m 19s
2024/03/18 Germond CI #1662: Pull request #353 synchronize by adacore-bot
March 22, 2024 09:59 2m 58s training/2024-03-18-germond
training/2024-03-18-germond
March 22, 2024 09:59 2m 58s
2024/09/01 CI #1661: Pull request #354 synchronize by adacore-bot
March 14, 2024 14:10 10m 31s training/2024-09-01-germond
training/2024-09-01-germond
March 14, 2024 14:10 10m 31s
2024/03/18 Germond CI #1660: Pull request #353 synchronize by adacore-bot
March 14, 2024 14:08 3m 19s training/2024-03-18-germond
training/2024-03-18-germond
March 14, 2024 14:08 3m 19s
fix titles in example CI #1659: Commit 610d7c8 pushed by adacore-bot
March 12, 2024 17:02 9m 57s master
master
March 12, 2024 17:02 9m 57s
fix slides breaking CI #1658: Commit d5a8c14 pushed by adacore-bot
March 12, 2024 16:28 10m 9s master
master
March 12, 2024 16:28 10m 9s
Merge branch 'option_DO_NOT_MERGE' into 'master' CI #1657: Commit ebf7e53 pushed by adacore-bot
March 12, 2024 15:30 9m 47s master
master
March 12, 2024 15:30 9m 47s
2024/03/18 Germond CI #1656: Pull request #353 synchronize by adacore-bot
March 12, 2024 13:50 2m 34s training/2024-03-18-germond
training/2024-03-18-germond
March 12, 2024 13:50 2m 34s
2024/09/01 CI #1655: Pull request #354 synchronize by adacore-bot
March 12, 2024 13:41 10m 31s training/2024-09-01-germond
training/2024-09-01-germond
March 12, 2024 13:41 10m 31s
2024/03/18-frank CI #1654: Pull request #355 opened by frank-at-adacore
March 12, 2024 13:36 9m 52s training/2024-03-18-frank
training/2024-03-18-frank
March 12, 2024 13:36 9m 52s
Minor tweak CI #1653: Commit 93d0ed8 pushed by adacore-bot
March 12, 2024 13:28 10m 14s master
master
March 12, 2024 13:28 10m 14s
2024/09/01 CI #1652: Pull request #354 opened by leogermond
March 12, 2024 11:07 9m 44s training/2024-09-01-germond
training/2024-09-01-germond
March 12, 2024 11:07 9m 44s
Merge branch 'gnattest_advanced_testing_lab' into 'master' CI #1651: Commit b0a80d5 pushed by adacore-bot
March 12, 2024 02:44 10m 23s master
master
March 12, 2024 02:44 10m 23s
Add missing file CI #1650: Commit 4956ae8 pushed by adacore-bot
March 11, 2024 18:35 12m 58s master
master
March 11, 2024 18:35 12m 58s
2024/03/18 Germond CI #1649: Pull request #353 synchronize by adacore-bot
March 11, 2024 17:10 3m 17s training/2024-03-18-germond
training/2024-03-18-germond
March 11, 2024 17:10 3m 17s
2024/03/18 Germond CI #1648: Pull request #353 synchronize by adacore-bot
March 11, 2024 16:56 2m 29s training/2024-03-18-germond
training/2024-03-18-germond
March 11, 2024 16:56 2m 29s
2024/03/18 Germond CI #1647: Pull request #353 synchronize by adacore-bot
March 11, 2024 16:55 2m 26s training/2024-03-18-germond
training/2024-03-18-germond
March 11, 2024 16:55 2m 26s
2024/03/18 Germond CI #1646: Pull request #353 synchronize by adacore-bot
March 11, 2024 16:53 2m 38s training/2024-03-18-germond
training/2024-03-18-germond
March 11, 2024 16:53 2m 38s
2024/03/18 Germond CI #1645: Pull request #353 synchronize by adacore-bot
March 11, 2024 16:51 2m 30s training/2024-03-18-germond
training/2024-03-18-germond
March 11, 2024 16:51 2m 30s
2024/03/18 Germond CI #1644: Pull request #353 synchronize by adacore-bot
March 11, 2024 16:50 2m 50s training/2024-03-18-germond
training/2024-03-18-germond
March 11, 2024 16:50 2m 50s
2024/03/18 Germond CI #1643: Pull request #353 synchronize by adacore-bot
March 11, 2024 16:48 1m 11s training/2024-03-18-germond
training/2024-03-18-germond
March 11, 2024 16:48 1m 11s
2024/03/18 Germond CI #1642: Pull request #353 synchronize by adacore-bot
March 11, 2024 16:45 1m 32s training/2024-03-18-germond
training/2024-03-18-germond
March 11, 2024 16:45 1m 32s
2024/03/18 Germond CI #1641: Pull request #353 synchronize by adacore-bot
March 11, 2024 16:42 1m 38s training/2024-03-18-germond
training/2024-03-18-germond
March 11, 2024 16:42 1m 38s
ProTip! You can narrow down the results and go further in time using created:<2024-03-11 or the other filters available.