Skip to content

Actions: OCamlPro/owi

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,229 workflow runs
1,229 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

drop old stack module
build #346: Commit 44d9e26 pushed by zapashcanon
September 17, 2023 22:17 14m 9s main
September 17, 2023 22:17 14m 9s
promote some tests
build #345: Commit edbaa22 pushed by zapashcanon
September 17, 2023 22:06 10m 11s main
September 17, 2023 22:06 10m 11s
rename Sym_state to Symbolic
build #344: Commit f50d5b4 pushed by zapashcanon
September 17, 2023 21:37 10m 9s main
September 17, 2023 21:37 10m 9s
rename Symbolic to Text
build #343: Commit 650face pushed by zapashcanon
September 17, 2023 21:28 10m 5s main
September 17, 2023 21:28 10m 5s
unsafe also disables check
build #342: Commit 802f1d8 pushed by zapashcanon
September 17, 2023 20:54 10m 37s main
September 17, 2023 20:54 10m 37s
better interface fox Indexed
build #341: Commit 3fe50d7 pushed by zapashcanon
September 17, 2023 20:52 9m 55s main
September 17, 2023 20:52 9m 55s
Adds unsafe flag to skip typechecker
build #340: Pull request #53 synchronize by filipeom
September 17, 2023 20:16 10m 48s filipeom:unsafe-flag
September 17, 2023 20:16 10m 48s
use Stdlib.Type and Stdlib.Type.Id :-)
build #339: Commit 6c77a98 pushed by zapashcanon
September 17, 2023 19:53 9m 40s main
September 17, 2023 19:53 9m 40s
minor optimisation
build #338: Commit f13b11b pushed by zapashcanon
September 17, 2023 19:20 12m 45s main
September 17, 2023 19:20 12m 45s
Adds unsafe flag to skip typechecker
build #337: Pull request #53 opened by filipeom
September 17, 2023 17:57 12m 1s filipeom:unsafe-flag
September 17, 2023 17:57 12m 1s
fix more checks
build #336: Commit 60c3b7b pushed by zapashcanon
September 16, 2023 13:19 10m 35s main
September 16, 2023 13:19 10m 35s
Functorized and more
build #335: Pull request #49 synchronize by zapashcanon
September 16, 2023 13:15 14m 6s functorized
September 16, 2023 13:15 14m 6s
Functorized and more
build #334: Pull request #49 synchronize by zapashcanon
September 16, 2023 12:24 14m 6s functorized
September 16, 2023 12:24 14m 6s
Functorized and more
build #333: Pull request #49 synchronize by zapashcanon
September 16, 2023 12:21 10m 16s functorized
September 16, 2023 12:21 10m 16s
Functorized and more
build #332: Pull request #49 synchronize by zapashcanon
September 16, 2023 10:50 9m 56s functorized
September 16, 2023 10:50 9m 56s
Functorized and more
build #331: Pull request #49 synchronize by zapashcanon
September 15, 2023 22:39 9m 43s functorized
September 15, 2023 22:39 9m 43s
Functorized and more
build #330: Pull request #49 synchronize by zapashcanon
September 15, 2023 22:17 13m 24s functorized
September 15, 2023 22:17 13m 24s
Functorized and more
build #329: Pull request #49 synchronize by zapashcanon
September 15, 2023 21:48 9m 52s functorized
September 15, 2023 21:48 9m 52s
Functorized and more
build #328: Pull request #49 synchronize by chambart
September 15, 2023 17:31 11m 38s functorized
September 15, 2023 17:31 11m 38s
Functorized and more
build #327: Pull request #49 synchronize by zapashcanon
September 15, 2023 13:31 17m 6s functorized
September 15, 2023 13:31 17m 6s
Functorized and more
build #326: Pull request #49 synchronize by zapashcanon
September 15, 2023 13:22 12m 56s functorized
September 15, 2023 13:22 12m 56s
Functorized and more
build #325: Pull request #49 synchronize by zapashcanon
September 12, 2023 13:25 18m 10s functorized
September 12, 2023 13:25 18m 10s
Functorized and more
build #324: Pull request #49 synchronize by zapashcanon
September 12, 2023 13:21 11m 39s functorized
September 12, 2023 13:21 11m 39s
Functorized and more
build #323: Pull request #49 synchronize by zapashcanon
September 12, 2023 13:18 13m 36s functorized
September 12, 2023 13:18 13m 36s
fix LICENSE
build #322: Commit f31d817 pushed by zapashcanon
September 12, 2023 13:00 14m 3s main
September 12, 2023 13:00 14m 3s
ProTip! You can narrow down the results and go further in time using created:<2023-09-12 or the other filters available.