Skip to content

Actions: AdaCore/why3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
114 workflow runs
114 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'topic/simple_server_free' into 'master' Main workflow #241: Commit 2b351f9 pushed by adacore-bot
1d 0h 0m 2s master
master
1d 0h 0m 2s
Merge branch 'topic/writefile_null' into 'master' Main workflow #240: Commit b04e096 pushed by adacore-bot
1d 0h 0m 2s master
master
1d 0h 0m 2s
Merge branch 'topic/kanig-1250-why3server' into 'master' Main workflow #239: Commit 18bd987 pushed by adacore-bot
1d 0h 0m 2s master
master
1d 0h 0m 2s
Merge branch 'topic/server_unix_robust' into 'master' Main workflow #238: Commit e7b1a49 pushed by adacore-bot
1d 0h 0m 2s master
master
1d 0h 0m 2s
Merge branch 'cherry-pick-169baa98' into '26.2' Main workflow #237: Commit 67c1a27 pushed by adacore-bot
1d 0h 0m 1s 26.2
26.2
1d 0h 0m 1s
Main workflow Main workflow #236: Scheduled
1d 0h 0m 1s master
master
1d 0h 0m 1s
Merge branch 'topic/why3server_readme_typo' into 'master' Main workflow #235: Commit aadb8e2 pushed by adacore-bot
1d 0h 0m 2s master
master
1d 0h 0m 2s
Merge branch 'topic/gcc_attributes' into 'master' Main workflow #234: Commit 00a5f63 pushed by adacore-bot
1d 0h 0m 2s master
master
1d 0h 0m 2s
Merge branch 'topic/kanig-1249-win' into 'master' Main workflow #233: Commit 169baa9 pushed by adacore-bot
1d 0h 0m 2s master
master
1d 0h 0m 2s
Main workflow Main workflow #232: Scheduled
1d 0h 0m 1s master
master
1d 0h 0m 1s
Merge branch 'cherry-pick-723d72a7' into '26.2' Main workflow #231: Commit f86fd8c pushed by adacore-bot
1d 0h 0m 2s 26.2
26.2
1d 0h 0m 2s
Main workflow Main workflow #230: Scheduled
15m 4s master
master
15m 4s
Main workflow Main workflow #229: Scheduled
8m 12s master
master
8m 12s
Merge branch 'topic/kanig-win-patch' into 'master' Main workflow #228: Commit 723d72a pushed by adacore-bot
5m 47s master
master
5m 47s
Main workflow Main workflow #227: Scheduled
4m 44s master
master
4m 44s
Main workflow Main workflow #226: Scheduled
6m 41s master
master
6m 41s
Main workflow Main workflow #225: Scheduled
7m 48s master
master
7m 48s
Main workflow Main workflow #224: Scheduled
8m 7s master
master
8m 7s
Merge branch 'topic/fsf_merge_269/20251226' into 'fsf' Main workflow #223: Commit 60b0b61 pushed by adacore-bot
7m 39s fsf
fsf
7m 39s
Merge branch 'topic/kanig-1110-merge' into '26.1' Main workflow #222: Commit e19e373 pushed by adacore-bot
7m 52s 26.2
26.2
7m 52s
Main workflow Main workflow #221: Scheduled
7m 51s master
master
7m 51s
Merge branch 'topic/kanig-merge' into 'master' Main workflow #220: Commit 23421c3 pushed by adacore-bot
7m 35s master
master
7m 35s
Main workflow Main workflow #219: Scheduled
8m 4s master
master
8m 4s
Main workflow Main workflow #218: Scheduled
8m 6s master
master
8m 6s
Main workflow Main workflow #217: Scheduled
10m 21s master
master
10m 21s