Skip to content

Actions: affeldt-aist/infotheo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
173 workflow runs
173 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test compatibility with Coq 8.19 Docker CI #316: Pull request #112 synchronize by affeldt-aist
February 2, 2024 08:22 11m 10s compat_coq_8.19
compat_coq_8.19
February 2, 2024 08:22 11m 10s
test compatibility with Coq 8.19 Docker CI #315: Pull request #112 opened by affeldt-aist
February 2, 2024 08:18 11m 37s compat_coq_8.19
compat_coq_8.19
February 2, 2024 08:18 11m 37s
upd opam (#111) Docker CI #314: Commit d5f6129 pushed by affeldt-aist
January 26, 2024 12:58 13m 8s master
master
January 26, 2024 12:58 13m 8s
upd opam Docker CI #313: Pull request #111 synchronize by affeldt-aist
January 25, 2024 13:48 12m 53s meta.yml_20240125
meta.yml_20240125
January 25, 2024 13:48 12m 53s
upd opam Docker CI #312: Pull request #111 opened by affeldt-aist
January 25, 2024 07:58 12m 58s meta.yml_20240125
meta.yml_20240125
January 25, 2024 07:58 12m 58s
change the notation for tnth from \_ to avoid a conflict with mca (#110) Docker CI #311: Commit d6a61b4 pushed by affeldt-aist
December 8, 2023 03:04 12m 13s master
master
December 8, 2023 03:04 12m 13s
change the notation for tnth from \_ to avoid a conflict with mca Docker CI #310: Pull request #110 synchronize by t6s
December 8, 2023 02:49 12m 17s tuple_notation
tuple_notation
December 8, 2023 02:49 12m 17s
change the notation for tnth from \_ to avoid a conflict with mca Docker CI #309: Pull request #110 synchronize by t6s
December 8, 2023 02:47 12m 10s tuple_notation
tuple_notation
December 8, 2023 02:47 12m 10s
change the notation for tnth from \_ to avoid a conflict with mca Docker CI #308: Pull request #110 opened by t6s
December 7, 2023 17:51 12m 13s tuple_notation
tuple_notation
December 7, 2023 17:51 12m 13s
fix changelog Docker CI #307: Commit da50633 pushed by affeldt-aist
December 3, 2023 07:31 12m 6s master
master
December 3, 2023 07:31 12m 6s
generalize and cleanup some lemmas for bigop (#108) Docker CI #306: Commit a820aef pushed by affeldt-aist
November 27, 2023 05:27 14m 56s master
master
November 27, 2023 05:27 14m 56s
generalize and cleanup some lemmas for bigop Docker CI #305: Pull request #108 opened by t6s
November 27, 2023 04:01 14m 57s cleaning_bigop_ext
cleaning_bigop_ext
November 27, 2023 04:01 14m 57s
Cleaning 20231122 (#107) Docker CI #304: Commit 521b3b2 pushed by affeldt-aist
November 22, 2023 09:49 14m 51s master
master
November 22, 2023 09:49 14m 51s
Cleaning 20231122 Docker CI #303: Pull request #107 opened by affeldt-aist
November 22, 2023 08:45 14m 47s cleaning_20231122
cleaning_20231122
November 22, 2023 08:45 14m 47s
Cleaning 20231121 (#106) Docker CI #302: Commit a79d941 pushed by t6s
November 22, 2023 01:00 14m 54s master
master
November 22, 2023 01:00 14m 54s
Cleaning 20231121 Docker CI #301: Pull request #106 opened by t6s
November 22, 2023 00:55 14m 57s cleaning_20231121
cleaning_20231121
November 22, 2023 00:55 14m 57s
define probability measure from fsdist (#92) Docker CI #300: Commit 861b7f2 pushed by affeldt-aist
November 20, 2023 15:41 15m 29s master
master
November 20, 2023 15:41 15m 29s
define probability measure from fsdist Docker CI #299: Pull request #92 synchronize by affeldt-aist
November 20, 2023 15:10 15m 7s fsdist_measure
fsdist_measure
November 20, 2023 15:10 15m 7s
define probability measure from fsdist Docker CI #298: Pull request #92 synchronize by affeldt-aist
November 20, 2023 14:36 12m 55s fsdist_measure
fsdist_measure
November 20, 2023 14:36 12m 55s
define probability measure from fsdist Docker CI #297: Pull request #92 synchronize by affeldt-aist
November 20, 2023 14:15 12m 32s fsdist_measure
fsdist_measure
November 20, 2023 14:15 12m 32s
define probability measure from fsdist Docker CI #296: Pull request #92 synchronize by affeldt-aist
November 20, 2023 13:46 12m 52s fsdist_measure
fsdist_measure
November 20, 2023 13:46 12m 52s
define probability measure from fsdist Docker CI #295: Pull request #92 synchronize by affeldt-aist
November 20, 2023 08:06 12m 39s fsdist_measure
fsdist_measure
November 20, 2023 08:06 12m 39s
define fsdist_conv using the convType of R (#105) Docker CI #294: Commit 3b642d8 pushed by affeldt-aist
November 20, 2023 07:31 14m 52s master
master
November 20, 2023 07:31 14m 52s
define probability measure from fsdist Docker CI #293: Pull request #92 synchronize by affeldt-aist
November 20, 2023 07:31 12m 48s fsdist_measure
fsdist_measure
November 20, 2023 07:31 12m 48s
define probability measure from fsdist Docker CI #292: Pull request #92 synchronize by affeldt-aist
November 20, 2023 07:29 12m 24s fsdist_measure
fsdist_measure
November 20, 2023 07:29 12m 24s