Skip to content

Actions: affeldt-aist/monae

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
191 workflow runs
191 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add list monad transformer (for commutative monads) Docker CI #661: Pull request #181 synchronize by garrigue
37m 34s list-transformer
list-transformer
37m 34s
Add list monad transformer (for commutative monads) Docker CI #660: Pull request #181 opened by garrigue
38m 5s list-transformer
list-transformer
38m 5s
iqsort' does not need Fixpoint Docker CI #659: Pull request #180 opened by garrigue
37m 35s iqsort_Definition
iqsort_Definition
37m 35s
updating the code to infotheo 0.9.7 Docker CI #658: Pull request #179 opened by affeldt-aist
43m 15s port_to_infotheo_097
port_to_infotheo_097
43m 15s
require mathcomp 2.5.0 Docker CI #657: Pull request #177 opened by t6s
42m 19s mc2.5
mc2.5
42m 19s
add preordered monad Docker CI #656: Pull request #176 synchronize by t6s
41m 27s sim20251219
sim20251219
41m 27s
add preordered monad Docker CI #655: Pull request #176 opened by t6s
42m 48s sim20251219
sim20251219
42m 48s
upd readme (#175) Docker CI #654: Commit f5d5fa5 pushed by affeldt-aist
43m 7s master
master
43m 7s
upd readme Docker CI #653: Pull request #175 opened by affeldt-aist
42m 57s readme_20251218
readme_20251218
42m 57s
Delay monad interface and model (#147) Docker CI #652: Commit 023469d pushed by affeldt-aist
32m 10s master
master
32m 10s
Delay monad interface and model Docker CI #649: Pull request #147 synchronize by affeldt-aist
37m 23s Ryuji-Kawakami:delaypull
Ryuji-Kawakami:delaypull
37m 23s
Proofs from Keimel's paper Docker CI #646: Pull request #55 synchronize by t6s
34m 33s keimel
keimel
34m 33s
Proofs from Keimel's paper Docker CI #645: Pull request #55 synchronize by t6s
33m 59s keimel
keimel
33m 59s
Proofs from Keimel's paper Docker CI #644: Pull request #55 synchronize by t6s
34m 15s keimel
keimel
34m 15s
Proofs from Keimel's paper Docker CI #643: Pull request #55 synchronize by t6s
35m 43s keimel
keimel
35m 43s
Delay monad interface and model Docker CI #642: Pull request #147 synchronize by Ryuji-Kawakami
38m 45s Ryuji-Kawakami:delaypull
Ryuji-Kawakami:delaypull
38m 45s
Delay monad interface and model Docker CI #641: Pull request #147 synchronize by t6s
39m 32s Ryuji-Kawakami:delaypull
Ryuji-Kawakami:delaypull
39m 32s
Delay monad interface and model Docker CI #637: Pull request #147 synchronize by Ryuji-Kawakami
36m 29s Ryuji-Kawakami:delaypull
Ryuji-Kawakami:delaypull
36m 29s
a consequence of the other distributive law (#172) Docker CI #636: Commit 52d70e7 pushed by affeldt-aist
39m 2s master
master
39m 2s
a consequence of the other distributive law Docker CI #635: Pull request #172 synchronize by t6s
38m 3s altprobdr
altprobdr
38m 3s
a consequence of the other distributive law Docker CI #634: Pull request #172 synchronize by t6s
37m 42s altprobdr
altprobdr
37m 42s
a consequence of the other distributive law Docker CI #633: Pull request #172 synchronize by t6s
38m 25s altprobdr
altprobdr
38m 25s
define MonadConvex using ConvexSpace (#174) Docker CI #632: Commit f755a21 pushed by affeldt-aist
37m 47s master
master
37m 47s
define MonadConvex using ConvexSpace Docker CI #631: Pull request #174 synchronize by t6s
38m 31s conv_convexMonad
conv_convexMonad
38m 31s
define MonadConvex using ConvexSpace Docker CI #630: Pull request #174 synchronize by t6s
37m 55s conv_convexMonad
conv_convexMonad
37m 55s