Skip to content

Actions: mirage/alcotest

Changelog check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

no longer rely on joo_global_object
Changelog check #454: Pull request #413 opened by hhugo
November 19, 2024 09:59 16s hhugo:go
November 19, 2024 09:59 16s
testable for seq and contramap (for testable)
Changelog check #453: Pull request #412 synchronize by xvw
September 23, 2024 14:14 14s xvw:contramap-for-testable
September 23, 2024 14:14 14s
testable for seq and contramap (for testable)
Changelog check #452: Pull request #412 synchronize by xvw
September 23, 2024 13:10 18s xvw:contramap-for-testable
September 23, 2024 13:10 18s
testable for seq and contramap (for testable)
Changelog check #451: Pull request #412 synchronize by xvw
September 5, 2024 01:10 14s xvw:contramap-for-testable
September 5, 2024 01:10 14s
testable for seq and contramap (for testable)
Changelog check #450: Pull request #412 opened by xvw
September 5, 2024 01:08 12s xvw:contramap-for-testable
September 5, 2024 01:08 12s
Prepare the release
Changelog check #449: Pull request #411 opened by samoht
July 25, 2024 11:16 16s samoht:release
July 25, 2024 11:16 16s
Fix formatting
Changelog check #448: Pull request #410 opened by samoht
July 25, 2024 10:09 15s samoht:fmt
July 25, 2024 10:09 15s
Update GitHub Actions
Changelog check #447: Pull request #409 synchronize by smorimoto
July 22, 2024 10:49 14s smorimoto:update-actions
July 22, 2024 10:49 14s
Update GitHub Actions
Changelog check #446: Pull request #409 opened by smorimoto
July 21, 2024 10:51 15s smorimoto:update-actions
July 21, 2024 10:51 15s
Update GitHub Actions for Windows and test fewer systems
Changelog check #445: Pull request #407 synchronize by MisterDA
June 5, 2024 11:12 11s gha
gha
June 5, 2024 11:12 11s
Update GitHub Actions for Windows and test fewer systems
Changelog check #444: Pull request #407 synchronize by MisterDA
June 5, 2024 11:02 11s gha
gha
June 5, 2024 11:02 11s
Update GitHub Actions for Windows and test fewer systems
Changelog check #443: Pull request #407 synchronize by MisterDA
June 5, 2024 09:06 10s gha
gha
June 5, 2024 09:06 10s
Update GitHub Actions for Windows and test fewer systems
Changelog check #442: Pull request #407 synchronize by MisterDA
June 5, 2024 09:00 11s gha
gha
June 5, 2024 09:00 11s
Update GitHub Actions for Windows and test fewer systems
Changelog check #441: Pull request #407 opened by MisterDA
June 5, 2024 08:55 19s gha
gha
June 5, 2024 08:55 19s
Adapt jsoo runtime to new jsoo version
Changelog check #440: Pull request #403 labeled by dinosaure
June 4, 2024 15:42 14s hhugo:fix-for-new-jsoo
June 4, 2024 15:42 14s
Adapt jsoo runtime to new jsoo version
Changelog check #439: Pull request #403 synchronize by dinosaure
June 4, 2024 15:41 14s hhugo:fix-for-new-jsoo
June 4, 2024 15:41 14s
Fix the compilation of alcotest on OCaml 5.2
Changelog check #438: Pull request #406 labeled by dinosaure
June 4, 2024 15:02 14s dinosaure:fix-502
June 4, 2024 15:02 14s
Fix the compilation of alcotest on OCaml 5.2
Changelog check #437: Pull request #406 opened by dinosaure
June 4, 2024 15:01 14s dinosaure:fix-502
June 4, 2024 15:01 14s
Adapt jsoo runtime to new jsoo version
Changelog check #436: Pull request #403 synchronize by hhugo
June 1, 2024 21:24 12s hhugo:fix-for-new-jsoo
June 1, 2024 21:24 12s
Don't detect ocaml-ci specifically, improve CI detection
Changelog check #435: Pull request #397 synchronize by MisterDA
May 31, 2024 10:19 15s ci-env-var
May 31, 2024 10:19 15s
Adapt jsoo runtime to new jsoo version
Changelog check #433: Pull request #403 synchronize by hhugo
April 19, 2024 21:01 12s hhugo:fix-for-new-jsoo
April 19, 2024 21:01 12s
Adapt jsoo runtime to new jsoo version
Changelog check #432: Pull request #403 opened by hhugo
April 18, 2024 06:59 14s hhugo:fix-for-new-jsoo
April 18, 2024 06:59 14s
Be able to allocate a formatter for stdout/stderr
Changelog check #430: Pull request #399 synchronize by dinosaure
January 20, 2024 19:11 12s dinosaure:safe-formatter
January 20, 2024 19:11 12s
Be able to allocate a formatter for stdout/stderr
Changelog check #429: Pull request #399 synchronize by dinosaure
January 20, 2024 14:16 14s dinosaure:safe-formatter
January 20, 2024 14:16 14s
Be able to allocate a formatter for stdout/stderr
Changelog check #428: Pull request #399 synchronize by dinosaure
January 20, 2024 14:11 12s dinosaure:safe-formatter
January 20, 2024 14:11 12s