Skip to content

Actions: HigherOrderCO/Bend

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,185 workflow runs
1,185 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updates builtin type Map so that it stores Maybes in its nodes. Checks #1248: Pull request #743 synchronize by In-Veritas
December 20, 2024 20:18 4m 22s In-Veritas:main
In-Veritas:main
December 20, 2024 20:18 4m 22s
Updates builtin type Map so that it stores Maybes in its nodes. Checks #1247: Pull request #743 synchronize by In-Veritas
December 20, 2024 19:23 Action required In-Veritas:main
In-Veritas:main
December 20, 2024 19:23 Action required
Updates builtin type Map so that it stores Maybes in its nodes. Checks #1246: Pull request #743 synchronize by In-Veritas
December 20, 2024 17:49 Action required In-Veritas:main
In-Veritas:main
December 20, 2024 17:49 Action required
Updates builtin type Map so that it stores Maybes in its nodes. Checks #1245: Pull request #743 synchronize by In-Veritas
December 16, 2024 18:08 Action required In-Veritas:main
In-Veritas:main
December 16, 2024 18:08 Action required
Updates builtin type Map so that it stores Maybes in its nodes. Checks #1244: Pull request #743 synchronize by In-Veritas
December 9, 2024 17:53 Action required In-Veritas:main
In-Veritas:main
December 9, 2024 17:53 Action required
Updates builtin type Map so that it stores Maybes in its nodes. Checks #1243: Pull request #743 opened by In-Veritas
December 7, 2024 18:38 Action required In-Veritas:main
In-Veritas:main
December 7, 2024 18:38 Action required
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