Skip to content

Actions: johnynek/bosatsu

All workflows

Actions

Loading...

Showing runs from all workflows
850 workflow runs
850 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Add Type.normalize
ci #1723: Pull request #980 synchronize by johnynek
April 1, 2023 20:54 9m 51s oscar/20230331_same_type
April 1, 2023 20:54 9m 51s
Add Type.normalize
ci #1721: Pull request #980 synchronize by johnynek
April 1, 2023 02:07 12m 1s oscar/20230331_same_type
April 1, 2023 02:07 12m 1s
Add build_List foldr_List (#977)
ci #1719: Commit bb0ac62 pushed by johnynek
April 1, 2023 01:23 9m 25s master
April 1, 2023 01:23 9m 25s
Make Dict covariant in values (#979)
ci #1718: Commit 6b167c8 pushed by johnynek
March 31, 2023 20:49 10m 42s master
March 31, 2023 20:49 10m 42s
Remove updatedTag
ci #1717: Pull request #981 opened by johnynek
March 31, 2023 20:34 30m 23s oscar/20230331_remove_updated_tag
March 31, 2023 20:34 30m 23s
Add Type.normalize
ci #1716: Pull request #980 opened by johnynek
March 31, 2023 20:34 10m 27s oscar/20230331_same_type
March 31, 2023 20:34 10m 27s
Make Dict covariant in values
ci #1715: Pull request #979 opened by johnynek
March 31, 2023 20:33 10m 7s oscar/20230331_covariant_dict
March 31, 2023 20:33 10m 7s
add Type.normalize
ci #1714: Commit 008945b pushed by johnynek
March 31, 2023 20:32 10m 31s oscar/20230331_same_type
March 31, 2023 20:32 10m 31s
Add build_List foldr_List
ci #1711: Pull request #977 opened by johnynek
March 31, 2023 14:16 10m 23s oscar/20230331_add_build_list
March 31, 2023 14:16 10m 23s
Remove updatedTag (#976)
ci #1709: Commit f863023 pushed by johnynek
March 31, 2023 13:45 10m 19s master
March 31, 2023 13:45 10m 19s
Remove updatedTag
ci #1708: Pull request #976 opened by johnynek
March 31, 2023 13:29 10m 13s oscar/20230331_remove_updated_tag
March 31, 2023 13:29 10m 13s
Improve TypedExpr.coerce (#972)
ci #1706: Commit d51912e pushed by johnynek
March 31, 2023 13:24 11m 26s master
March 31, 2023 13:24 11m 26s
Attempt to get a basic truffle build going
ci #1704: Pull request #974 synchronize by johnynek
March 24, 2023 18:51 30m 28s oscar/20230323_truffle
March 24, 2023 18:51 30m 28s
Attempt to get a basic truffle build going
ci #1702: Pull request #974 synchronize by johnynek
March 24, 2023 08:28 9m 4s oscar/20230323_truffle
March 24, 2023 08:28 9m 4s
get things almost working
ci #1701: Commit 5fd0ea8 pushed by johnynek
March 24, 2023 08:28 9m 12s oscar/20230323_truffle
March 24, 2023 08:28 9m 12s
Attempt to get a basic truffle build going
ci #1700: Pull request #974 opened by johnynek
March 24, 2023 04:08 8m 10s oscar/20230323_truffle
March 24, 2023 04:08 8m 10s
Attempt to get a basic truffle build going
ci #1699: Commit 34be752 pushed by johnynek
March 24, 2023 04:06 9m 28s oscar/20230323_truffle
March 24, 2023 04:06 9m 28s
ProTip! You can narrow down the results and go further in time using created:<2023-03-24 or the other filters available.