Skip to content

Actions: MLton/mlton

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
95 workflow runs
95 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Correct target in generated $(MLTON_OUTPUT_SMLNJ_HEAP).d file CI #115: Pull request #527 opened by MatthewFluet
November 7, 2023 21:44 1h 18m 9s MatthewFluet:smlnj-heap-deps
MatthewFluet:smlnj-heap-deps
November 7, 2023 21:44 1h 18m 9s
Eliminate runtime bash dependency CI #114: Pull request #526 opened by ii8
November 7, 2023 14:40 1h 28m 14s ii8:master
ii8:master
November 7, 2023 14:40 1h 28m 14s
Merge pull request #525 from MatthewFluet/smlnj-real64-fmt-exact CI #113: Commit f8b1d3e pushed by MatthewFluet
November 7, 2023 12:15 1h 6m 38s master
master
November 7, 2023 12:15 1h 6m 38s
Use "fixed" structure Real64 with recent versions of SML/NJ CI #112: Pull request #525 opened by MatthewFluet
November 7, 2023 10:43 1h 1m 1s MatthewFluet:smlnj-real64-fmt-exact
MatthewFluet:smlnj-real64-fmt-exact
November 7, 2023 10:43 1h 1m 1s
Merge pull request #524 from ii8/master CI #111: Commit 38eb9de pushed by MatthewFluet
November 6, 2023 18:03 1h 9m 18s master
master
November 6, 2023 18:03 1h 9m 18s
Fix build on non-glibc 32 bit architectures CI #110: Pull request #524 opened by ii8
November 5, 2023 20:39 1h 28m 8s ii8:master
ii8:master
November 5, 2023 20:39 1h 28m 8s
Merge pull request #521 from MatthewFluet/build-reqs CI #109: Commit 537750a pushed by MatthewFluet
November 1, 2023 19:49 1h 37m 57s master
master
November 1, 2023 19:49 1h 37m 57s
Update Build requirements documentation CI #108: Pull request #521 opened by MatthewFluet
November 1, 2023 18:15 1h 21m 2s MatthewFluet:build-reqs
MatthewFluet:build-reqs
November 1, 2023 18:15 1h 21m 2s
Merge pull request #520 from MatthewFluet/smlnj-build-updates CI #107: Commit 326fb7c pushed by MatthewFluet
October 31, 2023 15:24 1h 19m 13s master
master
October 31, 2023 15:24 1h 19m 13s
Add $(MLTON_GEN_SOURCES) as dependency of $(MLTON_OUTPUT_SMLNJ_HEAP).d CI #106: Pull request #520 opened by MatthewFluet
October 31, 2023 12:26 1h 23m 1s MatthewFluet:smlnj-build-updates
MatthewFluet:smlnj-build-updates
October 31, 2023 12:26 1h 23m 1s
Merge pull request #511 from MatthewFluet/toAddressMemLoc-disp-bug CI #105: Commit 9213775 pushed by MatthewFluet
August 31, 2023 20:14 1h 23m 52s master
master
August 31, 2023 20:14 1h 23m 52s
Fix RegisterAllocation.toAddressMemLoc:disp internal compiler error CI #104: Pull request #511 opened by MatthewFluet
August 31, 2023 18:50 1h 19m 36s MatthewFluet:toAddressMemLoc-disp-bug
MatthewFluet:toAddressMemLoc-disp-bug
August 31, 2023 18:50 1h 19m 36s
Merge pull request #507 from MatthewFluet/mingw-regression-whitelist CI #103: Commit 99b0643 pushed by MatthewFluet
July 29, 2023 01:00 1h 9m 1s master
master
July 29, 2023 01:00 1h 9m 1s
Skip date-localOffset regression on MinGW CI #102: Pull request #507 opened by MatthewFluet
July 28, 2023 20:57 1h 12m 2s MatthewFluet:mingw-regression-whitelist
MatthewFluet:mingw-regression-whitelist
July 28, 2023 20:57 1h 12m 2s
Merge pull request #506 from MatthewFluet/ci-updates CI #101: Commit 3797596 pushed by MatthewFluet
July 28, 2023 19:18 1h 9m 25s master
master
July 28, 2023 19:18 1h 9m 25s
Merge pull request #505 from MatthewFluet/date-localOffset-fix CI #100: Commit f291d2a pushed by MatthewFluet
July 28, 2023 16:45 1h 33m 35s master
master
July 28, 2023 16:45 1h 33m 35s
CI Updates CI #99: Pull request #506 synchronize by MatthewFluet
July 28, 2023 16:04 1h 35m 3s MatthewFluet:ci-updates
MatthewFluet:ci-updates
July 28, 2023 16:04 1h 35m 3s
CI Updates CI #98: Pull request #506 synchronize by MatthewFluet
July 28, 2023 15:50 1h 27m 17s MatthewFluet:ci-updates
MatthewFluet:ci-updates
July 28, 2023 15:50 1h 27m 17s
CI Updates CI #97: Pull request #506 opened by MatthewFluet
July 28, 2023 15:45 4m 53s MatthewFluet:ci-updates
MatthewFluet:ci-updates
July 28, 2023 15:45 4m 53s
Fix Date.localOffset for time zones east of prime meridian CI #96: Pull request #505 opened by MatthewFluet
July 28, 2023 15:16 1h 14m 27s MatthewFluet:date-localOffset-fix
MatthewFluet:date-localOffset-fix
July 28, 2023 15:16 1h 14m 27s