Skip to content

Actions: affeldt-aist/infotheo

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
325 workflow runs
325 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Port to MC master (> 2.4.0) Docker CI #729: Pull request #163 synchronize by proux01
May 24, 2025 08:53 25m 55s proux01:mcmaster
proux01:mcmaster
May 24, 2025 08:53 25m 55s
Port to MC master (> 2.4.0) Docker CI #728: Pull request #163 opened by proux01
May 23, 2025 19:51 21m 19s proux01:mcmaster
proux01:mcmaster
May 23, 2025 19:51 21m 19s
rm order prefix Docker CI #727: Commit e13c629 pushed by affeldt-aist
May 23, 2025 14:58 27m 6s master
master
May 23, 2025 14:58 27m 6s
change fdist_gt0 Docker CI #726: Pull request #162 opened by affeldt-aist
May 17, 2025 14:02 27m 19s fdist_gt0_20250517
fdist_gt0_20250517
May 17, 2025 14:02 27m 19s
Backport two mutual_info_RV lemmas from the DSDP work Docker CI #725: Pull request #161 synchronize by gregweng
May 15, 2025 03:45 26m 27s weng-chenghui:backport-mutualinfo-lemmas
weng-chenghui:backport-mutualinfo-lemmas
May 15, 2025 03:45 26m 27s
Backport two mutual_info_RV lemmas from the DSDP work Docker CI #724: Pull request #161 synchronize by gregweng
May 15, 2025 03:29 25m 39s weng-chenghui:backport-mutualinfo-lemmas
weng-chenghui:backport-mutualinfo-lemmas
May 15, 2025 03:29 25m 39s
Backport two mutual_info_RV lemmas from the DSDP work Docker CI #723: Pull request #161 opened by weng-chenghui
May 14, 2025 14:42 26m 4s weng-chenghui:backport-mutualinfo-lemmas
weng-chenghui:backport-mutualinfo-lemmas
May 14, 2025 14:42 26m 4s
Formalization work for the SMC stack [Chen2012] Docker CI #722: Pull request #138 synchronize by gregweng
May 13, 2025 09:51 26m 30s weng-chenghui:smc_rebase_20250205
weng-chenghui:smc_rebase_20250205
May 13, 2025 09:51 26m 30s
Backport two basic lemmas pr_eq_diag and cPr_eq_id from SMC to infotheo master Docker CI #721: Pull request #160 opened by weng-chenghui
May 13, 2025 02:09 25m 56s weng-chenghui:backport-two-basic-lemmas
weng-chenghui:backport-two-basic-lemmas
May 13, 2025 02:09 25m 56s
Backport centropy_RV_comp_removal from Iwamoto2024; add its dependent lemmas Docker CI #720: Pull request #159 opened by weng-chenghui
May 12, 2025 06:05 25m 43s weng-chenghui:backport-centropy_RV-lemmas
weng-chenghui:backport-centropy_RV-lemmas
May 12, 2025 06:05 25m 43s
backport Iwamoto2024 lemma 2.2.2 Docker CI #719: Pull request #158 opened by weng-chenghui
May 12, 2025 01:25 26m 11s weng-chenghui:backport-iwamoto2_2
weng-chenghui:backport-iwamoto2_2
May 12, 2025 01:25 26m 11s
memo Docker CI #718: Commit d7e04de pushed by affeldt-aist
May 9, 2025 15:50 26m 19s master
master
May 9, 2025 15:50 26m 19s
Compile with MC 2.4 (#157) Docker CI #717: Commit 78a5555 pushed by affeldt-aist
May 9, 2025 15:08 26m 22s master
master
May 9, 2025 15:08 26m 22s
Formalization work for the SMC stack [Chen2012] Docker CI #716: Pull request #138 synchronize by t6s
May 9, 2025 14:32 26m 52s weng-chenghui:smc_rebase_20250205
weng-chenghui:smc_rebase_20250205
May 9, 2025 14:32 26m 52s
Compile with MC 2.4 Docker CI #715: Pull request #157 synchronize by proux01
May 9, 2025 11:01 25m 45s proux01:mc24
proux01:mc24
May 9, 2025 11:01 25m 45s
Compile with MC 2.4 Docker CI #714: Pull request #157 synchronize by proux01
May 9, 2025 09:04 25m 32s proux01:mc24
proux01:mc24
May 9, 2025 09:04 25m 32s
Compile with MC 2.4 Docker CI #713: Pull request #157 synchronize by proux01
May 9, 2025 08:48 26m 30s proux01:mc24
proux01:mc24
May 9, 2025 08:48 26m 30s
Compile with MC 2.4 Docker CI #712: Pull request #157 opened by proux01
May 8, 2025 20:30 25m 17s proux01:mc24
proux01:mc24
May 8, 2025 20:30 25m 17s
3 less warnings (#156) Docker CI #711: Commit 9be5ed1 pushed by affeldt-aist
May 3, 2025 13:02 25m 48s master
master
May 3, 2025 13:02 25m 48s
3 less warnings Docker CI #710: Pull request #156 opened by affeldt-aist
May 3, 2025 03:42 26m 12s warnings_20250503
warnings_20250503
May 3, 2025 03:42 26m 12s
update to support MathComp-Analysis 1.10.0 (#155) Docker CI #709: Commit 16dad8e pushed by affeldt-aist
April 28, 2025 02:40 26m 58s master
master
April 28, 2025 02:40 26m 58s
trying to compile with MathComp-Analysis 1.10.0 Docker CI #708: Pull request #155 synchronize by affeldt-aist
April 28, 2025 02:39 26m 12s coq_9_mca_1.10
coq_9_mca_1.10
April 28, 2025 02:39 26m 12s
trying to compile with MathComp-Analysis 1.10.0 Docker CI #707: Pull request #155 synchronize by affeldt-aist
April 28, 2025 02:00 26m 13s coq_9_mca_1.10
coq_9_mca_1.10
April 28, 2025 02:00 26m 13s
trying to compile with MathComp-Analysis 1.10.0 Docker CI #706: Pull request #155 synchronize by affeldt-aist
April 26, 2025 00:32 24m 59s coq_9_mca_1.10
coq_9_mca_1.10
April 26, 2025 00:32 24m 59s
Formalization work for the SMC stack [Chen2012] Docker CI #705: Pull request #138 synchronize by gregweng
April 24, 2025 13:03 19m 39s weng-chenghui:smc_rebase_20250205
weng-chenghui:smc_rebase_20250205
April 24, 2025 13:03 19m 39s