Skip to content

Actions: HigherOrderCO/Bend

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

#748 Fix signed numbers not parsing correctly after parens (#749) Checks #1275: Commit 36c7f37 pushed by github-merge-queue bot
February 22, 2025 15:49 4m 46s main
main
February 22, 2025 15:49 4m 46s
Checks Checks #1274: Merge group checks requested
February 22, 2025 15:44 4m 25s
February 22, 2025 15:44 4m 25s
#748 Fix signed numbers not parsing correctly after parens Checks #1273: Pull request #749 synchronize by developedby
February 22, 2025 15:39 2m 45s 748-cant-parse-tuples-starting-with-signed-numbers
748-cant-parse-tuples-starting-with-signed-numbers
February 22, 2025 15:39 2m 45s
#748 Fix signed numbers not parsing correctly after parens Checks #1272: Pull request #749 opened by developedby
February 22, 2025 15:33 4m 34s 748-cant-parse-tuples-starting-with-signed-numbers
748-cant-parse-tuples-starting-with-signed-numbers
February 22, 2025 15:33 4m 34s
Update, correct, and expand documentation (#747) Checks #1271: Commit 0ac443c pushed by github-merge-queue bot
February 3, 2025 20:04 4m 32s main
main
February 3, 2025 20:04 4m 32s
Checks Checks #1270: Merge group checks requested
February 3, 2025 19:58 4m 29s
February 3, 2025 19:58 4m 29s
Update, correct, and expand documentation Checks #1269: Pull request #747 synchronize by In-Veritas
February 3, 2025 19:36 2m 49s In-Veritas:Gabriel_doc
In-Veritas:Gabriel_doc
February 3, 2025 19:36 2m 49s
Update, correct, and expand documentation Checks #1268: Pull request #747 synchronize by In-Veritas
January 31, 2025 17:13 4m 33s In-Veritas:Gabriel_doc
In-Veritas:Gabriel_doc
January 31, 2025 17:13 4m 33s
Updates builtin type Map so that it stores Maybes in its nodes. (#743) Checks #1255: Commit a52cce7 pushed by github-merge-queue bot
December 26, 2024 15:27 1m 40s main
main
December 26, 2024 15:27 1m 40s
Checks Checks #1254: Merge group checks requested
December 26, 2024 15:25 1m 54s
December 26, 2024 15:25 1m 54s
Updates builtin type Map so that it stores Maybes in its nodes. Checks #1253: Pull request #743 synchronize by In-Veritas
December 26, 2024 15:09 1m 43s In-Veritas:main
In-Veritas:main
December 26, 2024 15:09 1m 43s
Updates builtin type Map so that it stores Maybes in its nodes. Checks #1252: Pull request #743 synchronize by In-Veritas
December 26, 2024 14:38 1m 40s In-Veritas:main
In-Veritas:main
December 26, 2024 14:38 1m 40s
Small updates for new versions of rustc and clippy (#744) Checks #1251: Commit efc3b38 pushed by github-merge-queue bot
December 23, 2024 21:00 4m 23s main
main
December 23, 2024 21:00 4m 23s
Checks Checks #1250: Merge group checks requested
December 23, 2024 20:55 4m 18s
December 23, 2024 20:55 4m 18s
Small updates for new versions of rustc and clippy Checks #1249: Pull request #744 opened by developedby
December 23, 2024 20:50 4m 14s rust-update
rust-update
December 23, 2024 20:50 4m 14s
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
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