Skip to content

Actions: HigherOrderCO/Bend

Actions

Checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
checks.yml
1,179 workflow runs
1,179 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update numbers and operations tables (#732) Checks #1242: Commit d810782 pushed by github-merge-queue bot
October 29, 2024 10:39 1m 46s main
main
October 29, 2024 10:39 1m 46s
Checks Checks #1241: Merge group checks requested
October 29, 2024 10:36 1m 51s
October 29, 2024 10:36 1m 51s
Add warning for unreachable pattern matching rules (#737) Checks #1240: Commit fb21101 pushed by developedby
October 22, 2024 12:38 2m 0s main
main
October 22, 2024 12:38 2m 0s
Add warning for unreachable pattern matching rules Checks #1239: Pull request #737 opened by developedby
October 22, 2024 12:36 1m 52s 736-add-warning-for-unreachable-rule-in-pattern-matching-functions
736-add-warning-for-unreachable-rule-in-pattern-matching-functions
October 22, 2024 12:36 1m 52s
Fix type checker not substituting type var when unifying match arms (… Checks #1238: Commit f467eff pushed by developedby
October 22, 2024 11:30 1m 52s main
main
October 22, 2024 11:30 1m 52s
Fix type checker not substituting type var when unifying match arms Checks #1237: Pull request #735 opened by developedby
October 22, 2024 11:26 1m 45s 734-type-checking-allows-incorrect-match-term
734-type-checking-allows-incorrect-match-term
October 22, 2024 11:26 1m 45s
update numbers and operations tables Checks #1236: Pull request #732 opened by kentslaney
October 19, 2024 17:36 1m 48s kentslaney:main
kentslaney:main
October 19, 2024 17:36 1m 48s
Increase version to 0.2.37 (#731) Checks #1235: Commit 71fb680 pushed by github-merge-queue bot
October 18, 2024 11:27 4m 23s main
main
October 18, 2024 11:27 4m 23s
Checks Checks #1234: Merge group checks requested
October 18, 2024 11:22 4m 24s
October 18, 2024 11:22 4m 24s
Increase version to 0.2.37 Checks #1233: Pull request #731 opened by developedby
October 18, 2024 11:17 4m 28s v0.2.37
v0.2.37
October 18, 2024 11:17 4m 28s
Fix Tree/Leaf and Tree/Node not capitalized in syntax.md (#730) Checks #1232: Commit a085978 pushed by github-merge-queue bot
October 17, 2024 23:09 4m 35s main
main
October 17, 2024 23:09 4m 35s
Checks Checks #1231: Merge group checks requested
October 17, 2024 23:04 4m 27s
October 17, 2024 23:04 4m 27s
Fix Tree/Leaf and Tree/Node not capitalized in syntax.md Checks #1230: Pull request #730 opened by developedby
October 17, 2024 23:00 4m 26s developedby-patch-1
developedby-patch-1
October 17, 2024 23:00 4m 26s
Fix String/decode_utf8 returning a non-empty string when given an e… Checks #1229: Commit 9da1f49 pushed by github-merge-queue bot
October 9, 2024 15:33 1m 46s main
main
October 9, 2024 15:33 1m 46s
Checks Checks #1228: Merge group checks requested
October 9, 2024 15:30 2m 6s
October 9, 2024 15:30 2m 6s
Resolve type constructors in the types of constructor fields (#728) Checks #1227: Commit 7080bbe pushed by developedby
October 9, 2024 14:58 1m 58s main
main
October 9, 2024 14:58 1m 58s
Resolve type constructors in the types of constructor fields Checks #1226: Pull request #728 opened by developedby
October 9, 2024 14:56 1m 45s resolve-type-ctr-fields
resolve-type-ctr-fields
October 9, 2024 14:56 1m 45s
Fix String/decode_utf8 returning a non-empty string when given an empty list Checks #1225: Pull request #726 opened by chalcolith
October 8, 2024 21:43 1m 55s chalcolith:issue_701_empty_utf8_list
chalcolith:issue_701_empty_utf8_list
October 8, 2024 21:43 1m 55s
Fix Ctr patterns not being renamed in imports (#725) Checks #1224: Commit 4d6f461 pushed by developedby
October 7, 2024 14:26 1m 44s main
main
October 7, 2024 14:26 1m 44s
Fix Ctr patterns not being renamed in imports Checks #1223: Pull request #725 synchronize by developedby
October 7, 2024 13:31 1m 52s ctr-pattern-import
ctr-pattern-import
October 7, 2024 13:31 1m 52s
Correctly apply the import rename to ADTs (#723) Checks #1222: Commit 53d5262 pushed by developedby
October 6, 2024 19:49 1m 39s main
main
October 6, 2024 19:49 1m 39s
Correctly apply the import rename to ADTs Checks #1221: Pull request #723 synchronize by developedby
October 6, 2024 19:45 1m 46s 722-type-check-imports
722-type-check-imports
October 6, 2024 19:45 1m 46s
Correctly apply the import rename to ADTs Checks #1220: Pull request #723 opened by developedby
October 6, 2024 19:43 4m 40s 722-type-check-imports
722-type-check-imports
October 6, 2024 19:43 4m 40s
Small cleanups Checks #1219: Commit 71e2600 pushed by developedby
October 6, 2024 19:42 4m 34s main
main
October 6, 2024 19:42 4m 34s
Slightly simplify linearize_vars pass Checks #1218: Commit 124c43d pushed by developedby
September 27, 2024 11:58 2m 12s main
main
September 27, 2024 11:58 2m 12s