Skip to content

Actions: affeldt-aist/infotheo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
161 workflow runs
161 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

port to MC2 Docker CI #331: Pull request #116 synchronize by t6s
April 15, 2024 10:38 10m 15s gares:mc2
gares:mc2
April 15, 2024 10:38 10m 15s
port to MC2 Docker CI #330: Pull request #116 synchronize by affeldt-aist
April 15, 2024 10:15 10m 47s gares:mc2
gares:mc2
April 15, 2024 10:15 10m 47s
port to MC2 Docker CI #329: Pull request #116 synchronize by affeldt-aist
April 15, 2024 01:34 10m 10s gares:mc2
gares:mc2
April 15, 2024 01:34 10m 10s
port to MC2 Docker CI #328: Pull request #116 synchronize by affeldt-aist
April 10, 2024 03:45 11m 48s gares:mc2
gares:mc2
April 10, 2024 03:45 11m 48s
port to MC2 Docker CI #327: Pull request #116 synchronize by affeldt-aist
April 10, 2024 03:42 12m 51s gares:mc2
gares:mc2
April 10, 2024 03:42 12m 51s
typo Docker CI #326: Commit 913a929 pushed by affeldt-aist
March 28, 2024 01:09 25m 2s master
master
March 28, 2024 01:09 25m 2s
fix sumRE (#113) Docker CI #323: Commit ee75502 pushed by affeldt-aist
March 11, 2024 07:50 13m 29s master
master
March 11, 2024 07:50 13m 29s
fix sumRE Docker CI #322: Pull request #113 synchronize by t6s
March 11, 2024 01:44 15m 8s fix_sumRE
fix_sumRE
March 11, 2024 01:44 15m 8s
fix sumRE Docker CI #321: Pull request #113 opened by t6s
March 11, 2024 01:42 13m 33s fix_sumRE
fix_sumRE
March 11, 2024 01:42 13m 33s
test compatibility with Coq 8.19 (#112) Docker CI #320: Commit 15762a0 pushed by affeldt-aist
February 2, 2024 09:49 13m 41s master
master
February 2, 2024 09:49 13m 41s
test compatibility with Coq 8.19 Docker CI #319: Pull request #112 synchronize by affeldt-aist
February 2, 2024 09:14 13m 23s compat_coq_8.19
compat_coq_8.19
February 2, 2024 09:14 13m 23s
test compatibility with Coq 8.19 Docker CI #318: Pull request #112 synchronize by affeldt-aist
February 2, 2024 08:58 13m 43s compat_coq_8.19
compat_coq_8.19
February 2, 2024 08:58 13m 43s
test compatibility with Coq 8.19 Docker CI #317: Pull request #112 synchronize by affeldt-aist
February 2, 2024 08:39 13m 15s compat_coq_8.19
compat_coq_8.19
February 2, 2024 08:39 13m 15s
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