Skip to content

Actions: MLton/mlton

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #615 from MatthewFluet/profile-tail-opt-option CI #238: Commit 8c9c850 pushed by MatthewFluet
June 24, 2025 15:21 1h 2m 46s master
master
June 24, 2025 15:21 1h 2m 46s
Revise -profile-tail-call-opt to {always|self-only|never} CI #237: Pull request #615 opened by MatthewFluet
June 23, 2025 21:08 41m 9s MatthewFluet:profile-tail-opt-option
MatthewFluet:profile-tail-opt-option
June 23, 2025 21:08 41m 9s
Merge pull request #614 from MatthewFluet/profile-optional-opts CI #236: Commit 497710e pushed by MatthewFluet
June 18, 2025 23:43 1h 2m 36s master
master
June 18, 2025 23:43 1h 2m 36s
Introduce options to control profiling-specific optimizations CI #235: Pull request #614 opened by MatthewFluet
June 18, 2025 18:08 1h 6m 53s MatthewFluet:profile-optional-opts
MatthewFluet:profile-optional-opts
June 18, 2025 18:08 1h 6m 53s
Merge pull request #612 from Gasahorlogo/doc-guide-SMLSharp CI #234: Commit 95752a8 pushed by MatthewFluet
June 2, 2025 12:25 59m 37s master
master
June 2, 2025 12:25 59m 37s
Merge pull request #611 from MatthewFluet/faq-cite-update CI #232: Commit 3eaca13 pushed by MatthewFluet
May 27, 2025 16:24 1h 8m 42s master
master
May 27, 2025 16:24 1h 8m 42s
Add "How do you cite MLton?" to FAQ CI #231: Pull request #611 opened by MatthewFluet
May 27, 2025 16:23 5m 34s MatthewFluet:faq-cite-update
MatthewFluet:faq-cite-update
May 27, 2025 16:23 5m 34s
Merge pull request #610 from MatthewFluet/smlnj-lib-mono-buffer-bugfix CI #230: Commit 96c8115 pushed by MatthewFluet
May 24, 2025 00:19 54m 18s master
master
May 24, 2025 00:19 54m 18s
Update to SML/NJ 110.99.8 libraries and fix bug in MonoBufferFn CI #229: Pull request #610 opened by MatthewFluet
May 23, 2025 21:31 1h 4m 33s MatthewFluet:smlnj-lib-mono-buffer-bugfix
MatthewFluet:smlnj-lib-mono-buffer-bugfix
May 23, 2025 21:31 1h 4m 33s
Merge pull request #606 from YawarRaza7349/patch-1 CI #228: Commit ce19014 pushed by MatthewFluet
March 3, 2025 10:39 1h 10m 55s master
master
March 3, 2025 10:39 1h 10m 55s
Merge pull request #603 from MatthewFluet/workflow-updates CI #226: Commit 4b221ed pushed by MatthewFluet
January 17, 2025 18:03 1h 55m 5s master
master
January 17, 2025 18:03 1h 55m 5s
GitHub workflow updates CI #225: Pull request #603 opened by MatthewFluet
January 17, 2025 18:03 53m 31s MatthewFluet:workflow-updates
MatthewFluet:workflow-updates
January 17, 2025 18:03 53m 31s
Merge pull request #602 from shwestrick/fix-chmod-as-root-error CI #224: Commit 970095a pushed by MatthewFluet
January 15, 2025 12:00 1h 51m 29s master
master
January 15, 2025 12:00 1h 51m 29s
fix #601: use 'chmod a-w' instead of 'chmod -w' CI #223: Pull request #602 opened by shwestrick
January 14, 2025 02:40 1h 4m 19s shwestrick:fix-chmod-as-root-error
shwestrick:fix-chmod-as-root-error
January 14, 2025 02:40 1h 4m 19s
Merge pull request #599 from MatthewFluet/msys2-envs-workflow CI #222: Commit ae18adc pushed by MatthewFluet
January 2, 2025 22:45 54m 16s master
master
January 2, 2025 22:45 54m 16s
Experiment with alternate msys2 environments in workflows CI #221: Pull request #599 opened by MatthewFluet
January 2, 2025 21:48 57m 6s MatthewFluet:msys2-envs-workflow
MatthewFluet:msys2-envs-workflow
January 2, 2025 21:48 57m 6s
Merge pull request #598 from MatthewFluet/release-workflow-updates CI #220: Commit 4db974a pushed by MatthewFluet
December 31, 2024 11:46 1h 51m 39s master
master
December 31, 2024 11:46 1h 51m 39s
Fix upload of guide archive in SourceForge release workflow CI #219: Pull request #598 opened by MatthewFluet
December 31, 2024 11:46 59m 43s MatthewFluet:release-workflow-updates
MatthewFluet:release-workflow-updates
December 31, 2024 11:46 59m 43s
Merge pull request #596 from MatthewFluet/release-workflow-updates CI #218: Commit b4a527c pushed by MatthewFluet
December 31, 2024 03:02 1h 46m 38s master
master
December 31, 2024 03:02 1h 46m 38s
Run setup_ssh script in SourceForge release workflow CI #217: Pull request #596 opened by MatthewFluet
December 31, 2024 03:01 1h 3m 13s MatthewFluet:release-workflow-updates
MatthewFluet:release-workflow-updates
December 31, 2024 03:01 1h 3m 13s
Merge pull request #595 from MatthewFluet/release-workflow-updates CI #216: Commit ac90424 pushed by MatthewFluet
December 31, 2024 01:24 58m 21s master
master
December 31, 2024 01:24 58m 21s
Work around symbolic link(s) appearing before destination in archive … CI #215: Pull request #595 opened by MatthewFluet
December 30, 2024 22:25 1h 48m 21s MatthewFluet:release-workflow-updates
MatthewFluet:release-workflow-updates
December 30, 2024 22:25 1h 48m 21s
Merge pull request #593 from MatthewFluet/release-workflow-updates CI #214: Commit b15e2d2 pushed by MatthewFluet
December 30, 2024 20:37 1h 28m 53s on-20241230-release
on-20241230-release
December 30, 2024 20:37 1h 28m 53s
Merge pull request #593 from MatthewFluet/release-workflow-updates CI #213: Commit b15e2d2 pushed by MatthewFluet
December 30, 2024 20:33 1h 2m 20s master
master
December 30, 2024 20:33 1h 2m 20s
Install GraphicsMagick as part of install-guide-dependencies action CI #212: Pull request #593 opened by MatthewFluet
December 30, 2024 20:18 22m 23s MatthewFluet:release-workflow-updates
MatthewFluet:release-workflow-updates
December 30, 2024 20:18 22m 23s