Skip to content

Actions: tweag/linear-base

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
105 workflow runs
105 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Remove pull array index (unsafe), add uncons and empty. (#475) Continuous integration #641: Commit 16795c7 pushed by sjoerdvisscher
April 9, 2024 08:13 11m 44s master
master
April 9, 2024 08:13 11m 44s
Remove pull array index (unsafe), add uncons. Continuous integration #640: Pull request #475 synchronize by sjoerdvisscher
April 5, 2024 10:15 5m 15s sv/remove-pull-array-index
sv/remove-pull-array-index
April 5, 2024 10:15 5m 15s
Add pull array empty, add tests Continuous integration #639: Commit 3a78bb3 pushed by sjoerdvisscher
April 5, 2024 10:15 5m 12s sv/remove-pull-array-index
sv/remove-pull-array-index
April 5, 2024 10:15 5m 12s
Remove pull array index (unsafe), add uncons. Continuous integration #638: Pull request #475 opened by sjoerdvisscher
April 4, 2024 15:35 11m 12s sv/remove-pull-array-index
sv/remove-pull-array-index
April 4, 2024 15:35 11m 12s
Remove pull array index (unsafe), add uncons. Continuous integration #637: Commit fdebc90 pushed by sjoerdvisscher
April 4, 2024 15:35 11m 48s sv/remove-pull-array-index
sv/remove-pull-array-index
April 4, 2024 15:35 11m 48s
Merge pull request #473 from tweag/scope-with-movable Continuous integration #636: Commit 4398151 pushed by aspiwack
January 26, 2024 15:51 11m 15s master
master
January 26, 2024 15:51 11m 15s
In scope-passing style: use a Movable b instead of Ur b Continuous integration #635: Pull request #473 synchronize by aspiwack
January 15, 2024 14:54 11m 39s scope-with-movable
scope-with-movable
January 15, 2024 14:54 11m 39s
In scope-passing style: use a Movable b instead of Ur b Continuous integration #634: Commit 582cfda pushed by aspiwack
January 15, 2024 14:54 4m 18s scope-with-movable
scope-with-movable
January 15, 2024 14:54 4m 18s
In scope-passing style: use a Movable b instead of Ur b Continuous integration #633: Pull request #473 opened by aspiwack
January 15, 2024 14:34 10m 49s scope-with-movable
scope-with-movable
January 15, 2024 14:34 10m 49s
In scope-passing style: use a Movable b instead of Ur b Continuous integration #632: Commit 4fffe65 pushed by aspiwack
January 15, 2024 14:33 11m 30s scope-with-movable
scope-with-movable
January 15, 2024 14:33 11m 30s
Merge pull request #472 from tweag/invite-discord Continuous integration #631: Commit 964088a pushed by aspiwack
November 29, 2023 14:27 11m 36s master
master
November 29, 2023 14:27 11m 36s
Add invite link to Discord Continuous integration #630: Pull request #472 synchronize by aspiwack
November 29, 2023 14:13 8m 4s invite-discord
invite-discord
November 29, 2023 14:13 8m 4s
Add invite link to Discord Continuous integration #629: Commit eccd366 pushed by aspiwack
November 29, 2023 14:13 4m 55s invite-discord
invite-discord
November 29, 2023 14:13 4m 55s
Add invite link to Discord Continuous integration #628: Pull request #472 opened by aspiwack
November 29, 2023 13:45 11m 18s invite-discord
invite-discord
November 29, 2023 13:45 11m 18s
Add invite link to Discord Continuous integration #627: Commit e73b408 pushed by aspiwack
November 29, 2023 13:45 11m 15s invite-discord
invite-discord
November 29, 2023 13:45 11m 15s
Merge pull request #469 from tweag/wip/no-case-workaround Continuous integration #625: Commit 56db4c1 pushed by aspiwack
November 14, 2023 09:31 7m 28s master
master
November 14, 2023 09:31 7m 28s
Remove the ... & \case -> ... workaround Continuous integration #624: Pull request #469 opened by monoidal
November 13, 2023 20:12 6m 46s wip/no-case-workaround
wip/no-case-workaround
November 13, 2023 20:12 6m 46s
Remove the ... & \case -> ... workaround Continuous integration #623: Commit 6cff5df pushed by monoidal
November 13, 2023 20:12 7m 34s wip/no-case-workaround
wip/no-case-workaround
November 13, 2023 20:12 7m 34s
Merge pull request #467 from Qqwy/more_num_instances Continuous integration #622: Commit 3e80229 pushed by aspiwack
November 6, 2023 19:56 19m 2s master
master
November 6, 2023 19:56 19m 2s
Adds missing Data.Num.Linear.* instances for Word, Integer, Natural, Float, Word8/16/32/64 Int8/16/32/64 Continuous integration #621: Pull request #467 synchronize by Qqwy
November 6, 2023 13:19 14m 55s Qqwy:more_num_instances
Qqwy:more_num_instances
November 6, 2023 13:19 14m 55s
Adds missing Data.Num.Linear.* instances for Word, Integer, Natural, Float, Word8/16/32/64 Int8/16/32/64 Continuous integration #620: Pull request #467 synchronize by Qqwy
October 20, 2023 15:43 14m 21s Qqwy:more_num_instances
Qqwy:more_num_instances
October 20, 2023 15:43 14m 21s
Merge pull request #465 from tweag/release-0.4.0 Continuous integration #617: Commit 074aeb8 pushed by aspiwack
October 13, 2023 13:36 15m 11s v0.4.0
v0.4.0
October 13, 2023 13:36 15m 11s
Merge pull request #465 from tweag/release-0.4.0 Continuous integration #616: Commit 074aeb8 pushed by aspiwack
October 13, 2023 13:34 11m 33s master
master
October 13, 2023 13:34 11m 33s
Release 0.4.0 Continuous integration #615: Pull request #465 opened by aspiwack
October 13, 2023 10:02 15m 10s release-0.4.0
release-0.4.0
October 13, 2023 10:02 15m 10s
Prepare v0.4.0 release Continuous integration #614: Commit c447ce4 pushed by aspiwack
October 13, 2023 10:00 17m 35s release-0.4.0
release-0.4.0
October 13, 2023 10:00 17m 35s