Skip to content

Actions: lukemaurer/flambda-backend

.github/workflows/build.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Raw files for pivot_root
.github/workflows/build.yml #427: Commit bc0fbf2 pushed by lukemaurer
October 15, 2024 17:23 Failure pivot-root-raw-files
October 15, 2024 17:23 Failure
Add conditional printing to Flambda_cmx_format
.github/workflows/build.yml #426: Pull request #2 synchronize by lthls
June 28, 2024 11:19 21m 41s lthls:cmx-printing
June 28, 2024 11:19 21m 41s
Add conditional printing to Flambda_cmx_format
.github/workflows/build.yml #425: Pull request #2 opened by lthls
June 27, 2024 07:21 27m 13s lthls:cmx-printing
June 27, 2024 07:21 27m 13s
Code review
.github/workflows/build.yml #424: Commit 0486cc6 pushed by lukemaurer
November 15, 2023 18:43 12m 54s best_type_path-infinite-loop
November 15, 2023 18:43 12m 54s
Penalise ambiguous paths when computing their size
.github/workflows/build.yml #423: Commit c9d25cf pushed by lukemaurer
November 14, 2023 17:54 18m 12s best_type_path-infinite-loop
November 14, 2023 17:54 18m 12s
Add volatile keyword to helper function
.github/workflows/build.yml #422: Commit 9d857b0 pushed by lukemaurer
November 7, 2023 16:56 17m 4s port-retainer-profiling
November 7, 2023 16:56 17m 4s
Merge remote-tracking branch 'upstream/main' into port-retainer-profi…
.github/workflows/build.yml #421: Commit 0bf00d8 pushed by lukemaurer
November 6, 2023 13:44 15m 23s port-retainer-profiling
November 6, 2023 13:44 15m 23s
Fixed ISO C99 warning introduced in #1705
.github/workflows/build.yml #420: Commit c7938b0 pushed by lukemaurer
November 6, 2023 13:04 20m 10s port-retainer-profiling
November 6, 2023 13:04 20m 10s
Broaden Not_found handler
.github/workflows/build.yml #419: Commit a87add3 pushed by lukemaurer
October 24, 2023 18:18 18m 14s best_type_path-infinite-loop
October 24, 2023 18:18 18m 14s
Iterate over all persistent modules in Env.iter_env
.github/workflows/build.yml #418: Commit d915d10 pushed by lukemaurer
October 24, 2023 17:37 33m 51s iter_env-persistent
October 24, 2023 17:37 33m 51s
Break out of loop in Printtyp.best_type_path when depth gets big
.github/workflows/build.yml #417: Commit e555f0e pushed by lukemaurer
October 24, 2023 17:28 26m 25s best_type_path-infinite-loop
October 24, 2023 17:28 26m 25s
Break out of loop in Printtyp.best_type_path when path gets long
.github/workflows/build.yml #416: Commit 999b6c3 pushed by lukemaurer
October 24, 2023 17:20 20m 35s best_type_path-infinite-loop
October 24, 2023 17:20 20m 35s
Merge branch 'instance-typing' into instantiate
.github/workflows/build.yml #415: Commit a3cbffe pushed by lukemaurer
October 20, 2023 12:26 22m 12s instantiate
October 20, 2023 12:26 22m 12s
Update test generation and add native tests for instance typing
.github/workflows/build.yml #414: Commit d051da2 pushed by lukemaurer
October 20, 2023 12:21 16m 4s instance-typing
October 20, 2023 12:21 16m 4s
Merge branch 'global-name-is-module-id' into instance-syntax
.github/workflows/build.yml #413: Commit dc1a3eb pushed by lukemaurer
October 20, 2023 11:13 29m 43s instance-syntax
October 20, 2023 11:13 29m 43s
Merge branch 'parameter-parameter' into global-name-is-module-id
.github/workflows/build.yml #412: Commit 70b77ea pushed by lukemaurer
October 20, 2023 11:12 23m 34s global-name-is-module-id
October 20, 2023 11:12 23m 34s
Update test generation and add native tests
.github/workflows/build.yml #411: Commit a17d34c pushed by lukemaurer
October 20, 2023 11:10 16m 13s parameter-parameter
October 20, 2023 11:10 16m 13s
Ability to add extra variables to actions in gen_test
.github/workflows/build.yml #410: Commit c15dcfb pushed by lukemaurer
October 20, 2023 10:47 15m 52s as-argument-for
October 20, 2023 10:47 15m 52s
Merge branch 'instance-typing' into instantiate, fix upstream build
.github/workflows/build.yml #409: Commit 112ac78 pushed by lukemaurer
October 20, 2023 09:31 19m 13s instantiate
October 20, 2023 09:31 19m 13s
Merge branch 'instance-syntax' into instance-typing
.github/workflows/build.yml #408: Commit 553ff3e pushed by lukemaurer
October 19, 2023 18:00 50m 32s instance-typing
October 19, 2023 18:00 50m 32s
Merge branch 'global-name-is-module-id' into instance-syntax
.github/workflows/build.yml #407: Commit 8b42e26 pushed by lukemaurer
October 19, 2023 17:52 42m 55s instance-syntax
October 19, 2023 17:52 42m 55s
Merge branch 'parameter-parameter' into global-name-is-module-id
.github/workflows/build.yml #406: Commit 156fd09 pushed by lukemaurer
October 19, 2023 17:40 41m 20s global-name-is-module-id
October 19, 2023 17:40 41m 20s
Fix conflicts
.github/workflows/build.yml #405: Commit d619a45 pushed by lukemaurer
October 19, 2023 17:37 30m 2s parameter-parameter
October 19, 2023 17:37 30m 2s
Merge branch 'as-argument-for' into parameter-parameter
.github/workflows/build.yml #404: Commit 3c5b7b5 pushed by lukemaurer
October 19, 2023 17:29 22m 19s parameter-parameter
October 19, 2023 17:29 22m 19s
Merge branch 'layered-persistent_env' into as-argument-for
.github/workflows/build.yml #403: Commit 4f01e24 pushed by lukemaurer
October 19, 2023 17:24 22m 42s as-argument-for
October 19, 2023 17:24 22m 42s