Skip to content

Actions: rajgodse/flambda-backend

Actions

coverage-linux

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
113 workflow runs
113 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Express pattern guards using Jane_syntax (#1672) coverage-linux #113: Commit 657b7aa pushed by rajgodse
August 18, 2023 20:24 4m 51s pattern-guards-for-merge
pattern-guards-for-merge
August 18, 2023 20:24 4m 51s
Use raise-catch control flow to exit guarded right-hand sides (#1752) coverage-linux #112: Commit 01169b0 pushed by rajgodse
August 18, 2023 16:51 4m 30s pattern-guards
pattern-guards
August 18, 2023 16:51 4m 30s
address code review comments coverage-linux #111: Commit c4a4395 pushed by rajgodse
August 17, 2023 19:20 4m 15s catch-guarded
catch-guarded
August 17, 2023 19:20 4m 15s
match upstream indentation coverage-linux #110: Commit 38c6046 pushed by rajgodse
August 16, 2023 21:34 3m 15s catch-guarded
catch-guarded
August 16, 2023 21:34 3m 15s
Delete IRC split mode module. (#1699) coverage-linux #109: Commit 44e3fe5 pushed by rajgodse
August 16, 2023 19:25 11m 49s main
main
August 16, 2023 19:25 11m 49s
patch guarded fallthrough with catch coverage-linux #108: Commit 1f52f15 pushed by rajgodse
August 16, 2023 19:08 11m 30s catch-guarded
catch-guarded
August 16, 2023 19:08 11m 30s
implement changes from experiment coverage-linux #107: Commit 44aefb0 pushed by rajgodse
August 16, 2023 15:08 17m 44s use-precomputed-free-vars
use-precomputed-free-vars
August 16, 2023 15:08 17m 44s
Express pattern guards using Jane_syntax (#1672) coverage-linux #106: Commit 06469e2 pushed by rajgodse
August 16, 2023 15:07 4m 46s pattern-guards
pattern-guards
August 16, 2023 15:07 4m 46s
implement changes from experiment coverage-linux #105: Commit a3dfee8 pushed by rajgodse
August 16, 2023 15:06 9m 39s use-precomputed-free-vars
use-precomputed-free-vars
August 16, 2023 15:06 9m 39s
documented Case0 fail_if_wrong_syntactic_category coverage-linux #104: Commit 69ce0b7 pushed by rajgodse
August 15, 2023 22:18 3m 11s jane-syntax
jane-syntax
August 15, 2023 22:18 3m 11s
Update prefix names in case exhaustivity check helpers (#1747) coverage-linux #103: Commit a16188d pushed by rajgodse
August 15, 2023 22:16 3m 44s pattern-guards
pattern-guards
August 15, 2023 22:16 3m 44s
update prefix names coverage-linux #102: Commit fdc3df8 pushed by rajgodse
August 15, 2023 21:53 9m 18s fix-prefixes-in-exhaustivity-check
fix-prefixes-in-exhaustivity-check
August 15, 2023 21:53 9m 18s
Count exhaustive pattern guards towards case exhaustivity check (#1706) coverage-linux #101: Commit 70aa2cf pushed by rajgodse
August 15, 2023 21:49 3m 23s pattern-guards
pattern-guards
August 15, 2023 21:49 3m 23s
documented Case0 fail_if_wrong_syntactic_category coverage-linux #100: Commit 2799f0a pushed by rajgodse
August 15, 2023 21:36 7m 22s jane-syntax
jane-syntax
August 15, 2023 21:36 7m 22s
fail if pattern guarded case has pc_guard set coverage-linux #99: Commit 64ac2cd pushed by rajgodse
August 15, 2023 21:28 3m 25s jane-syntax
jane-syntax
August 15, 2023 21:28 3m 25s
minor wording change to comment coverage-linux #98: Commit 3bfd40f pushed by rajgodse
August 14, 2023 22:02 7m 13s jane-syntax
jane-syntax
August 14, 2023 22:02 7m 13s
update [fail_if_wrong_syntactic_category] comment coverage-linux #97: Commit 293ba7b pushed by rajgodse
August 14, 2023 21:56 4m 55s jane-syntax
jane-syntax
August 14, 2023 21:56 4m 55s
add parsetree tests back coverage-linux #96: Commit 4f19add pushed by rajgodse
August 14, 2023 21:54 3m 21s jane-syntax
jane-syntax
August 14, 2023 21:54 3m 21s
fix syntax error post-rebase coverage-linux #95: Commit 1c51765 pushed by rajgodse
August 9, 2023 22:14 3m 27s jane-syntax
jane-syntax
August 9, 2023 22:14 3m 27s
Remove prefixes from inline record fields for guards (#1715) coverage-linux #94: Commit 40cc523 pushed by rajgodse
August 9, 2023 21:50 4m 10s pattern-guards
pattern-guards
August 9, 2023 21:50 4m 10s
minimize diff from base coverage-linux #93: Commit 9166657 pushed by rajgodse
August 9, 2023 20:36 3m 9s jane-syntax
jane-syntax
August 9, 2023 20:36 3m 9s
remove prefixes from inline record fields coverage-linux #92: Commit 5540121 pushed by rajgodse
August 9, 2023 19:18 9m 27s update-inline-record-fields
update-inline-record-fields
August 9, 2023 19:18 9m 27s
add test flags coverage-linux #91: Commit 86581d4 pushed by rajgodse
August 9, 2023 18:56 4m 19s jane-syntax
jane-syntax
August 9, 2023 18:56 4m 19s
fix Ast_helper.Exp.case API coverage-linux #90: Commit eda68d3 pushed by rajgodse
August 9, 2023 17:55 3m 52s test-pg-free-var-computation
test-pg-free-var-computation
August 9, 2023 17:55 3m 52s
fix Ast_helper.Exp.case API coverage-linux #89: Commit 7a3ff8e pushed by rajgodse
August 9, 2023 17:53 4m 50s test-pg-free-var-computation
test-pg-free-var-computation
August 9, 2023 17:53 4m 50s