Skip to content

Actions: mirage/alcotest

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
169 workflow runs
169 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Breaking] Change match_raises to be more intuitive
build #507: Pull request #419 synchronize by psafont
February 12, 2025 14:30 6m 24s psafont:exnpect
February 12, 2025 14:30 6m 24s
[Breaking] Change match_raises to be more intuitive
Changelog check #458: Pull request #419 synchronize by psafont
February 12, 2025 14:30 17s psafont:exnpect
February 12, 2025 14:30 17s
[Breaking] Change match_raises to be more intuitive
Changelog check #457: Pull request #419 opened by psafont
February 12, 2025 14:05 23s psafont:exnpect
February 12, 2025 14:05 23s
[Breaking] Change match_raises to be more intuitive
build #506: Pull request #419 opened by psafont
February 12, 2025 14:05 9m 13s psafont:exnpect
February 12, 2025 14:05 9m 13s
github_actions in /. - Update #961314616
Dependabot Updates #31: by dependabot bot
February 10, 2025 08:44 35s main
February 10, 2025 08:44 35s
build
build #505: Scheduled
February 10, 2025 01:27 5m 21s main
February 10, 2025 01:27 5m 21s
No longer rely on joo_global_object (#413)
build #504: Commit f49a310 pushed by MisterDA
February 7, 2025 11:46 5m 8s main
February 7, 2025 11:46 5m 8s
Add x-maintenance-intent field to the opam file (#417)
build #503: Commit f3df51d pushed by MisterDA
February 7, 2025 08:35 8m 45s main
February 7, 2025 08:35 8m 45s
github_actions in /. - Update #957845395
Dependabot Updates #30: by dependabot bot
February 3, 2025 08:54 33s main
February 3, 2025 08:54 33s
build
build #502: Scheduled
February 3, 2025 01:27 6m 16s main
February 3, 2025 01:27 6m 16s
github_actions in /. - Update #953893944
Dependabot Updates #29: by dependabot bot
January 27, 2025 08:21 34s main
January 27, 2025 08:21 34s
build
build #501: Scheduled
January 27, 2025 01:27 6m 47s main
January 27, 2025 01:27 6m 47s
github_actions in /. - Update #950348738
Dependabot Updates #28: by dependabot bot
January 20, 2025 08:39 33s main
January 20, 2025 08:39 33s
build
build #500: Scheduled
January 20, 2025 01:27 6m 13s main
January 20, 2025 01:27 6m 13s
github_actions in /. - Update #946838938
Dependabot Updates #27: by dependabot bot
January 13, 2025 08:54 35s main
January 13, 2025 08:54 35s
build
build #499: Scheduled
January 13, 2025 01:27 9m 12s main
January 13, 2025 01:27 9m 12s
github_actions in /. - Update #943412604
Dependabot Updates #26: by dependabot bot
January 6, 2025 08:36 33s main
January 6, 2025 08:36 33s
build
build #498: Scheduled
January 6, 2025 01:27 5m 45s main
January 6, 2025 01:27 5m 45s
add x-maintenance-intent field to the opam file
Changelog check #456: Pull request #417 opened by hannesm
January 5, 2025 18:34 10s hannesm:add-main
January 5, 2025 18:34 10s
add x-maintenance-intent field to the opam file
build #497: Pull request #417 opened by hannesm
January 5, 2025 18:34 5m 17s hannesm:add-main
January 5, 2025 18:34 5m 17s
github_actions in /. - Update #939904560
Dependabot Updates #25: by dependabot bot
December 30, 2024 08:52 35s main
December 30, 2024 08:52 35s
build
build #496: Scheduled
December 30, 2024 01:27 6m 0s main
December 30, 2024 01:27 6m 0s
engine: expose skip exception
Changelog check #455: Pull request #416 opened by Khady
December 23, 2024 09:32 17s Khady:louis/expose-skip
December 23, 2024 09:32 17s
engine: expose skip exception
build #495: Pull request #416 opened by Khady
December 23, 2024 09:32 5m 24s Khady:louis/expose-skip
December 23, 2024 09:32 5m 24s
github_actions in /. - Update #936813186
Dependabot Updates #24: by dependabot bot
December 23, 2024 08:18 40s main
December 23, 2024 08:18 40s