Skip to content

Actions: melsman/mlkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
193 workflow runs
193 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Constant-folding for nullary constructors CI #415: Pull request #175 synchronize by melsman
June 4, 2024 19:18 1h 31m 15s con0-folding
con0-folding
June 4, 2024 19:18 1h 31m 15s
Constant-folding for nullary constructors CI #414: Pull request #175 synchronize by melsman
June 4, 2024 11:31 1h 38m 26s con0-folding
con0-folding
June 4, 2024 11:31 1h 38m 26s
Constant-folding for nullary constructors CI #413: Pull request #175 synchronize by melsman
June 3, 2024 11:20 1h 29m 2s con0-folding
con0-folding
June 3, 2024 11:20 1h 29m 2s
Constant-folding for nullary constructors CI #412: Pull request #175 synchronize by melsman
June 3, 2024 10:50 15m 44s con0-folding
con0-folding
June 3, 2024 10:50 15m 44s
Constant-folding for nullary constructors CI #411: Pull request #175 synchronize by melsman
June 3, 2024 10:19 16m 25s con0-folding
con0-folding
June 3, 2024 10:19 16m 25s
Constant-folding for nullary constructors CI #410: Pull request #175 synchronize by melsman
June 2, 2024 21:20 1h 29m 23s con0-folding
con0-folding
June 2, 2024 21:20 1h 29m 23s
Constant-folding for nullary constructors CI #409: Pull request #175 opened by melsman
June 2, 2024 20:06 1h 22m 36s con0-folding
con0-folding
June 2, 2024 20:06 1h 22m 36s
tests/Makefile: replace absolute paths with unqualified paths. CI #408: Pull request #174 opened by athas
May 31, 2024 20:05 1h 37m 24s athas:no-abs-paths
athas:no-abs-paths
May 31, 2024 20:05 1h 37m 24s
simpler pretty printing of boxity decisions CI #407: Commit 0299419 pushed by melsman
May 31, 2024 08:02 1h 30m 54s v4.7.10
v4.7.10
May 31, 2024 08:02 1h 30m 54s
simpler pretty printing of boxity decisions CI #406: Commit 0299419 pushed by melsman
May 31, 2024 08:02 1h 30m 0s master
master
May 31, 2024 08:02 1h 30m 0s
Support for reporting object-files (#173) CI #405: Commit c271b04 pushed by melsman
May 11, 2024 15:27 1h 34m 10s master
master
May 11, 2024 15:27 1h 34m 10s
Support for reporting object-files CI #404: Pull request #173 synchronize by melsman
May 11, 2024 13:56 1h 25m 37s report-ofiles
report-ofiles
May 11, 2024 13:56 1h 25m 37s
Support for reporting object-files CI #403: Pull request #173 synchronize by melsman
May 11, 2024 10:10 42m 56s report-ofiles
report-ofiles
May 11, 2024 10:10 42m 56s
Support for reporting object-files CI #402: Pull request #173 synchronize by melsman
May 11, 2024 09:11 13m 47s report-ofiles
report-ofiles
May 11, 2024 09:11 13m 47s
Support for reporting object-files CI #401: Pull request #173 synchronize by melsman
May 11, 2024 08:12 14m 15s report-ofiles
report-ofiles
May 11, 2024 08:12 14m 15s
Support for reporting object-files CI #400: Pull request #173 synchronize by melsman
May 11, 2024 07:51 13m 35s report-ofiles
report-ofiles
May 11, 2024 07:51 13m 35s
Support for reporting object-files CI #399: Pull request #173 synchronize by melsman
May 11, 2024 07:48 1m 45s report-ofiles
report-ofiles
May 11, 2024 07:48 1m 45s
Support for reporting object-files CI #398: Pull request #173 opened by melsman
May 11, 2024 07:38 53s report-ofiles
report-ofiles
May 11, 2024 07:38 53s
Flexible c structs for ML strings and tables (#169) CI #397: Commit 85a57c5 pushed by melsman
March 6, 2024 11:57 1h 28m 39s master
master
March 6, 2024 11:57 1h 28m 39s
Flexible c structs for ML strings and tables CI #396: Pull request #169 opened by melsman
March 6, 2024 08:28 1h 32m 52s flexible-c-structs
flexible-c-structs
March 6, 2024 08:28 1h 32m 52s
version bump CI #395: Commit 597da8c pushed by melsman
March 5, 2024 15:06 1h 39m 22s v4.7.9
v4.7.9
March 5, 2024 15:06 1h 39m 22s
version bump CI #394: Commit 597da8c pushed by melsman
March 5, 2024 15:06 1h 48m 0s master
master
March 5, 2024 15:06 1h 48m 0s
Fix implementation of Char.isCntrl (#168) CI #393: Commit 6d0ae0b pushed by melsman
March 4, 2024 22:02 1h 27m 7s master
master
March 4, 2024 22:02 1h 27m 7s
Fix implementation of Char.isCntrl CI #392: Pull request #168 opened by melsman
March 4, 2024 19:41 1h 29m 37s char-is-crtl-fix
char-is-crtl-fix
March 4, 2024 19:41 1h 29m 37s
real cleanup (#167) CI #391: Commit 6624dd4 pushed by melsman
March 4, 2024 18:20 1h 47m 16s master
master
March 4, 2024 18:20 1h 47m 16s