Thanks to visit codestin.com
Credit goes to Github.com

Skip to content

Actions: MLton/mlton

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
109 workflow runs
109 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #632 from MatthewFluet/split-types-fix CI #250: Commit 323fed1 pushed by MatthewFluet
47m 49s master
master
47m 49s
Merge pull request #632 from MatthewFluet/split-types-fix Publish Website/Guide #98: Commit 323fed1 pushed by MatthewFluet
1m 47s master
master
1m 47s
Fix bug in SplitTypes SSA optimization CI #249: Pull request #632 opened by MatthewFluet
47m 21s MatthewFluet:split-types-fix
MatthewFluet:split-types-fix
47m 21s
Merge pull request #627 from MatthewFluet/deep-flatten-bug Publish Website/Guide #97: Commit 61baac7 pushed by MatthewFluet
22m 39s master
master
22m 39s
Merge pull request #627 from MatthewFluet/deep-flatten-bug CI #248: Commit 61baac7 pushed by MatthewFluet
1h 11m 8s master
master
1h 11m 8s
Fix bug in DeepFlatten, failing to unify elements of Array_copy{Array,Vector} args CI #247: Pull request #627 opened by MatthewFluet
1h 12m 20s MatthewFluet:deep-flatten-bug
MatthewFluet:deep-flatten-bug
1h 12m 20s
Merge pull request #624 from MatthewFluet/misc-updates Publish Website/Guide #96: Commit e3b5896 pushed by MatthewFluet
14m 1s master
master
14m 1s
Merge pull request #624 from MatthewFluet/misc-updates CI #246: Commit e3b5896 pushed by MatthewFluet
3h 5m 52s master
master
3h 5m 52s
Misc updates CI #245: Pull request #624 opened by MatthewFluet
2h 21m 36s MatthewFluet:misc-updates
MatthewFluet:misc-updates
2h 21m 36s
Merge pull request #623 from MatthewFluet/useless-bug-622 CI #244: Commit ccf8338 pushed by MatthewFluet
1h 4m 49s master
master
1h 4m 49s
Merge pull request #623 from MatthewFluet/useless-bug-622 Publish Website/Guide #95: Commit ccf8338 pushed by MatthewFluet
3m 30s master
master
3m 30s
Fix bug in Useless optimization CI #243: Pull request #623 opened by MatthewFluet
1h 4m 24s MatthewFluet:useless-bug-622
MatthewFluet:useless-bug-622
1h 4m 24s
Merge pull request #619 from hummy123/master CI #242: Commit d72a3d6 pushed by MatthewFluet
2h 25m 27s master
master
2h 25m 27s
Merge pull request #619 from hummy123/master Publish Website/Guide #94: Commit d72a3d6 pushed by MatthewFluet
22m 24s master
master
22m 24s
Merge pull request #620 from DarinM223/io_manager Publish Website/Guide #93: Commit 4c7cf83 pushed by MatthewFluet
2m 32s master
master
2m 32s
Merge pull request #620 from DarinM223/io_manager CI #241: Commit 4c7cf83 pushed by MatthewFluet
1h 19m 10s master
master
1h 19m 10s
Port IOManager from SML/NJ CI #240: Pull request #620 opened by DarinM223
1h 2m 45s DarinM223:io_manager
DarinM223:io_manager
1h 2m 45s
Merge pull request #615 from MatthewFluet/profile-tail-opt-option CI #238: Commit 8c9c850 pushed by MatthewFluet
1h 2m 46s master
master
1h 2m 46s
Merge pull request #615 from MatthewFluet/profile-tail-opt-option Publish Website/Guide #92: Commit 8c9c850 pushed by MatthewFluet
1m 47s master
master
1m 47s
Revise -profile-tail-call-opt to {always|self-only|never} CI #237: Pull request #615 opened by MatthewFluet
41m 9s MatthewFluet:profile-tail-opt-option
MatthewFluet:profile-tail-opt-option
41m 9s
Merge pull request #614 from MatthewFluet/profile-optional-opts Publish Website/Guide #91: Commit 497710e pushed by MatthewFluet
1m 36s master
master
1m 36s
Merge pull request #614 from MatthewFluet/profile-optional-opts CI #236: Commit 497710e pushed by MatthewFluet
1h 2m 36s master
master
1h 2m 36s
Introduce options to control profiling-specific optimizations CI #235: Pull request #614 opened by MatthewFluet
1h 6m 53s MatthewFluet:profile-optional-opts
MatthewFluet:profile-optional-opts
1h 6m 53s
Merge pull request #612 from Gasahorlogo/doc-guide-SMLSharp Publish Website/Guide #90: Commit 95752a8 pushed by MatthewFluet
2m 1s master
master
2m 1s
Merge pull request #612 from Gasahorlogo/doc-guide-SMLSharp CI #234: Commit 95752a8 pushed by MatthewFluet
59m 37s master
master
59m 37s