Skip to content

Actions: MLton/mlton

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow runs
150 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #591 from MatthewFluet/20241230-release Publish Website/Guide #78: Commit 27d7e10 pushed by MatthewFluet
December 30, 2024 19:33 1m 33s master
master
December 30, 2024 19:33 1m 33s
Merge pull request #591 from MatthewFluet/20241230-release CI #210: Commit 27d7e10 pushed by MatthewFluet
December 30, 2024 19:33 51m 20s master
master
December 30, 2024 19:33 51m 20s
Final commits for 20241230 release CI #209: Pull request #591 opened by MatthewFluet
December 30, 2024 18:29 1h 3m 25s MatthewFluet:20241230-release
MatthewFluet:20241230-release
December 30, 2024 18:29 1h 3m 25s
Merge pull request #590 from MatthewFluet/sourceforge-release-workflow Publish Website/Guide #77: Commit 74673d4 pushed by MatthewFluet
December 30, 2024 11:51 1m 27s master
master
December 30, 2024 11:51 1m 27s
Merge pull request #590 from MatthewFluet/sourceforge-release-workflow CI #208: Commit 74673d4 pushed by MatthewFluet
December 30, 2024 11:51 2h 41m 47s master
master
December 30, 2024 11:51 2h 41m 47s
Fix GitHub action to automate creation of SourceForge release CI #207: Pull request #590 opened by MatthewFluet
December 30, 2024 11:50 2h 10m 26s MatthewFluet:sourceforge-release-workflow
MatthewFluet:sourceforge-release-workflow
December 30, 2024 11:50 2h 10m 26s
Merge pull request #589 from MatthewFluet/sourceforge-release-workflow Publish Website/Guide #76: Commit 72e05fa pushed by MatthewFluet
December 30, 2024 11:12 1m 28s master
master
December 30, 2024 11:12 1m 28s
Merge pull request #589 from MatthewFluet/sourceforge-release-workflow CI #206: Commit 72e05fa pushed by MatthewFluet
December 30, 2024 11:12 1h 53m 9s master
master
December 30, 2024 11:12 1h 53m 9s
Create a GitHub action to automate creation of SourceForge release CI #205: Pull request #589 opened by MatthewFluet
December 30, 2024 11:12 1h 4m 10s MatthewFluet:sourceforge-release-workflow
MatthewFluet:sourceforge-release-workflow
December 30, 2024 11:12 1h 4m 10s
Merge pull request #588 from MatthewFluet/force-handles-signals-option CI #204: Commit 48e8f38 pushed by MatthewFluet
December 30, 2024 10:37 59m 50s master
master
December 30, 2024 10:37 59m 50s
Merge pull request #588 from MatthewFluet/force-handles-signals-option Publish Website/Guide #75: Commit 48e8f38 pushed by MatthewFluet
December 30, 2024 10:37 1m 32s master
master
December 30, 2024 10:37 1m 32s
Make -force-handles-signals compile-time option expert CI #203: Pull request #588 opened by MatthewFluet
December 29, 2024 23:18 58m 12s MatthewFluet:force-handles-signals-option
MatthewFluet:force-handles-signals-option
December 29, 2024 23:18 58m 12s
Merge pull request #587 from MatthewFluet/workflow-updates Publish Website/Guide #74: Commit 16e7e8f pushed by MatthewFluet
December 27, 2024 19:17 1m 48s master
master
December 27, 2024 19:17 1m 48s
Merge pull request #587 from MatthewFluet/workflow-updates CI #202: Commit 16e7e8f pushed by MatthewFluet
December 27, 2024 19:17 1h 0m 51s master
master
December 27, 2024 19:17 1h 0m 51s
Create a GitHub action to automate creation of release artifacts CI #201: Pull request #587 opened by MatthewFluet
December 27, 2024 18:00 56m 52s MatthewFluet:workflow-updates
MatthewFluet:workflow-updates
December 27, 2024 18:00 56m 52s
Merge pull request #586 from MatthewFluet/useless-bugfix CI #200: Commit 665812b pushed by MatthewFluet
December 20, 2024 15:00 55m 39s master
master
December 20, 2024 15:00 55m 39s
Merge pull request #586 from MatthewFluet/useless-bugfix Publish Website/Guide #73: Commit 665812b pushed by MatthewFluet
December 20, 2024 15:00 2m 31s master
master
December 20, 2024 15:00 2m 31s
Treat length of sequences as a "slot" in Useless optimization CI #199: Pull request #586 synchronize by MatthewFluet
December 20, 2024 13:56 1h 1m 4s MatthewFluet:useless-bugfix
MatthewFluet:useless-bugfix
December 20, 2024 13:56 1h 1m 4s
Treat length of sequences as a "slot" in Useless optimization CI #198: Pull request #586 opened by MatthewFluet
December 20, 2024 13:40 17m 25s MatthewFluet:useless-bugfix
MatthewFluet:useless-bugfix
December 20, 2024 13:40 17m 25s
Merge pull request #584 from MatthewFluet/smlnj-updates CI #197: Commit bf18753 pushed by MatthewFluet
December 14, 2024 21:26 53m 37s master
master
December 14, 2024 21:26 53m 37s
Merge pull request #584 from MatthewFluet/smlnj-updates Publish Website/Guide #72: Commit bf18753 pushed by MatthewFluet
December 14, 2024 21:26 1m 32s master
master
December 14, 2024 21:26 1m 32s
Update to SML/NJ 110.99.6.1 libraries CI #196: Pull request #584 synchronize by MatthewFluet
December 14, 2024 20:29 56m 32s MatthewFluet:smlnj-updates
MatthewFluet:smlnj-updates
December 14, 2024 20:29 56m 32s
Update to SML/NJ 110.99.6.1 libraries CI #195: Pull request #584 synchronize by MatthewFluet
December 14, 2024 20:18 16m 18s MatthewFluet:smlnj-updates
MatthewFluet:smlnj-updates
December 14, 2024 20:18 16m 18s
Update to SML/NJ 110.99.6.1 libraries CI #194: Pull request #584 opened by MatthewFluet
December 14, 2024 16:25 46m 53s MatthewFluet:smlnj-updates
MatthewFluet:smlnj-updates
December 14, 2024 16:25 46m 53s
Merge pull request #582 from TwoF1nger/patch-1 Publish Website/Guide #71: Commit c4e0d7e pushed by MatthewFluet
November 2, 2024 16:31 1m 36s master
master
November 2, 2024 16:31 1m 36s