Skip to content

Actions: AdaCore/training_labs_solar_system

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'fix_gitlab_ci' into 'main' Generate_Doc #29: Commit 5ce5ec1 pushed by adacore-bot
November 17, 2023 20:49 24s main
main
November 17, 2023 20:49 24s
Merge branch '56-question-answer-vs-solution-problem-use-single-synta… Generate_Doc #28: Commit f6715cb pushed by adacore-bot
November 17, 2023 14:11 24s main
main
November 17, 2023 14:11 24s
Merge branch '52-ci-check-that-all-labs-builds-without-any-warnings' … Generate_Doc #27: Commit 29f9362 pushed by adacore-bot
November 17, 2023 14:09 22s main
main
November 17, 2023 14:09 22s
Merge branch '51-ref-to-point3d-in-arrays-lab' into 'main' Generate_Doc #26: Commit 6e1c174 pushed by adacore-bot
November 15, 2023 13:59 25s main
main
November 15, 2023 13:59 25s
Merge branch '36-v1-0-0' into 'main' Generate_Doc #25: Commit 6a90e91 pushed by adacore-bot
October 5, 2023 17:12 31s main
main
October 5, 2023 17:12 31s
Merge branch 'nit-packages-doc-old-numbering-scheme' into 'main' Generate_Doc #24: Commit 5b4b6fd pushed by adacore-bot
October 5, 2023 11:25 31s main
main
October 5, 2023 11:25 31s
Merge branch 'fix_copyright' into 'main' Generate_Doc #23: Commit cd507ca pushed by adacore-bot
September 27, 2023 08:11 30s main
main
September 27, 2023 08:11 30s
Merge branch 'port_160_170_to_alire' into 'main' Generate_Doc #22: Commit b333f9e pushed by adacore-bot
September 27, 2023 08:10 35s main
main
September 27, 2023 08:10 35s
Merge branch '43-interfacing-with-c-instructions-are-incorrect' into … Generate_Doc #21: Commit f7c1b13 pushed by adacore-bot
September 18, 2023 09:53 32s main
main
September 18, 2023 09:53 32s
Merge branch 'html-doc-as-build-artifact' into 'main' Generate_Doc #20: Commit 20002ba pushed by adacore-bot
September 18, 2023 09:52 24s main
main
September 18, 2023 09:52 24s
Merge branch 'ci/minimal' into 'main' Generate_Doc #19: Commit 3f5cd1f pushed by adacore-bot
September 14, 2023 15:38 21s main
main
September 14, 2023 15:38 21s
Merge branch 'fix/sphinx_master_missing' into 'main' Generate_Doc #18: Commit 44efa29 pushed by adacore-bot
August 23, 2023 05:33 21s main
main
August 23, 2023 05:33 21s
Merge branch '40-use-adacore-s-documentation-theme' into 'main' Generate_Doc #17: Commit 9e9cb94 pushed by adacore-bot
August 2, 2023 06:42 22s main
main
August 2, 2023 06:42 22s
Merge branch 'update_Release_template' into 'main' Generate_Doc #16: Commit 9c5f39f pushed by adacore-bot
July 25, 2023 16:58 26s main
main
July 25, 2023 16:58 26s
Merge branch 'v0.9.1' into 'main' Generate_Doc #15: Commit 8d99f0e pushed by adacore-bot
July 24, 2023 18:16 23s main
main
July 24, 2023 18:16 23s
Merge branch 'fix/subp_contracts_230721' into 'main' Generate_Doc #14: Commit a9d0f09 pushed by adacore-bot
July 24, 2023 18:15 25s main
main
July 24, 2023 18:15 25s
Merge branch 'doc_install_and_run' into 'main' Generate_Doc #13: Commit 3cc5d96 pushed by adacore-bot
July 19, 2023 13:51 26s main
main
July 19, 2023 13:51 26s
Merge branch 'make_for_alr' into 'main' Generate_Doc #12: Commit 86582c4 pushed by adacore-bot
July 19, 2023 13:50 22s main
main
July 19, 2023 13:50 22s
Merge branch 'template_release_add_doc_tag' into 'main' Generate_Doc #11: Commit e1a23f4 pushed by adacore-bot
July 19, 2023 13:48 21s main
main
July 19, 2023 13:48 21s
Merge branch 'release_template_issue' into 'main' Generate_Doc #10: Commit 8bfc2f5 pushed by adacore-bot
July 19, 2023 08:35 27s main
main
July 19, 2023 08:35 27s
Merge branch 'fixup_privacy_port' into 'main' Generate_Doc #9: Commit a3f3df5 pushed by adacore-bot
July 19, 2023 08:33 21s main
main
July 19, 2023 08:33 21s
update mage to 0.6.0 Generate_Doc #8: Commit c8760bd pushed by adacore-bot
July 11, 2023 14:46 25s main
main
July 11, 2023 14:46 25s
changelog: add doc Generate_Doc #7: Commit 5416232 pushed by adacore-bot
July 11, 2023 14:43 25s main
main
July 11, 2023 14:43 25s
prepare v0.9.0: bump version & changelog Generate_Doc #6: Commit f955003 pushed by adacore-bot
July 11, 2023 14:41 23s main
main
July 11, 2023 14:41 23s