Skip to content

Actions: MLton/mlton

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #599 from MatthewFluet/msys2-envs-workflow CI #222: Commit ae18adc pushed by MatthewFluet
54m 16s master
master
54m 16s
Experiment with alternate msys2 environments in workflows CI #221: Pull request #599 opened by MatthewFluet
57m 6s MatthewFluet:msys2-envs-workflow
MatthewFluet:msys2-envs-workflow
57m 6s
Merge pull request #598 from MatthewFluet/release-workflow-updates CI #220: Commit 4db974a pushed by MatthewFluet
1h 51m 39s master
master
1h 51m 39s
Fix upload of guide archive in SourceForge release workflow CI #219: Pull request #598 opened by MatthewFluet
59m 43s MatthewFluet:release-workflow-updates
MatthewFluet:release-workflow-updates
59m 43s
Merge pull request #596 from MatthewFluet/release-workflow-updates CI #218: Commit b4a527c pushed by MatthewFluet
1h 46m 38s master
master
1h 46m 38s
Run setup_ssh script in SourceForge release workflow CI #217: Pull request #596 opened by MatthewFluet
1h 3m 13s MatthewFluet:release-workflow-updates
MatthewFluet:release-workflow-updates
1h 3m 13s
Merge pull request #595 from MatthewFluet/release-workflow-updates CI #216: Commit ac90424 pushed by MatthewFluet
58m 21s master
master
58m 21s
Work around symbolic link(s) appearing before destination in archive … CI #215: Pull request #595 opened by MatthewFluet
1h 48m 21s MatthewFluet:release-workflow-updates
MatthewFluet:release-workflow-updates
1h 48m 21s
Merge pull request #593 from MatthewFluet/release-workflow-updates CI #214: Commit b15e2d2 pushed by MatthewFluet
1h 28m 53s on-20241230-release
on-20241230-release
1h 28m 53s
Merge pull request #593 from MatthewFluet/release-workflow-updates CI #213: Commit b15e2d2 pushed by MatthewFluet
1h 2m 20s master
master
1h 2m 20s
Install GraphicsMagick as part of install-guide-dependencies action CI #212: Pull request #593 opened by MatthewFluet
22m 23s MatthewFluet:release-workflow-updates
MatthewFluet:release-workflow-updates
22m 23s
Merge pull request #591 from MatthewFluet/20241230-release CI #211: Commit 27d7e10 pushed by MatthewFluet
1h 24m 14s on-20241230-release
on-20241230-release
1h 24m 14s
Merge pull request #591 from MatthewFluet/20241230-release CI #210: Commit 27d7e10 pushed by MatthewFluet
51m 20s master
master
51m 20s
Final commits for 20241230 release CI #209: Pull request #591 opened by MatthewFluet
1h 3m 25s MatthewFluet:20241230-release
MatthewFluet:20241230-release
1h 3m 25s
Merge pull request #590 from MatthewFluet/sourceforge-release-workflow CI #208: Commit 74673d4 pushed by MatthewFluet
2h 41m 47s master
master
2h 41m 47s
Fix GitHub action to automate creation of SourceForge release CI #207: Pull request #590 opened by MatthewFluet
2h 10m 26s MatthewFluet:sourceforge-release-workflow
MatthewFluet:sourceforge-release-workflow
2h 10m 26s
Merge pull request #589 from MatthewFluet/sourceforge-release-workflow CI #206: Commit 72e05fa pushed by MatthewFluet
1h 53m 9s master
master
1h 53m 9s
Create a GitHub action to automate creation of SourceForge release CI #205: Pull request #589 opened by MatthewFluet
1h 4m 10s MatthewFluet:sourceforge-release-workflow
MatthewFluet:sourceforge-release-workflow
1h 4m 10s
Merge pull request #588 from MatthewFluet/force-handles-signals-option CI #204: Commit 48e8f38 pushed by MatthewFluet
59m 50s master
master
59m 50s
Make -force-handles-signals compile-time option expert CI #203: Pull request #588 opened by MatthewFluet
58m 12s MatthewFluet:force-handles-signals-option
MatthewFluet:force-handles-signals-option
58m 12s
Merge pull request #587 from MatthewFluet/workflow-updates CI #202: Commit 16e7e8f pushed by MatthewFluet
1h 0m 51s master
master
1h 0m 51s
Create a GitHub action to automate creation of release artifacts CI #201: Pull request #587 opened by MatthewFluet
56m 52s MatthewFluet:workflow-updates
MatthewFluet:workflow-updates
56m 52s
Merge pull request #586 from MatthewFluet/useless-bugfix CI #200: Commit 665812b pushed by MatthewFluet
55m 39s master
master
55m 39s
Treat length of sequences as a "slot" in Useless optimization CI #199: Pull request #586 synchronize by MatthewFluet
1h 1m 4s MatthewFluet:useless-bugfix
MatthewFluet:useless-bugfix
1h 1m 4s
Treat length of sequences as a "slot" in Useless optimization CI #198: Pull request #586 opened by MatthewFluet
17m 25s MatthewFluet:useless-bugfix
MatthewFluet:useless-bugfix
17m 25s