Skip to content

Actions: effekt-lang/effekt

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve benchmark arguments
Continuous Integration #4654: Pull request #666 opened by marvinborner
November 5, 2024 13:42 8m 20s feature/improved_benchmark_arguments
November 5, 2024 13:42 8m 20s
Allocate region variables as "local variables" on previous stack (#642)
Continuous Integration #4653: Commit 6cd49d2 pushed by phischu
November 5, 2024 11:08 8m 0s master
November 5, 2024 11:08 8m 0s
Add 'char' library by cherrypicking from #631 (#664)
Continuous Integration #4652: Commit f9e1968 pushed by jiribenes
November 4, 2024 19:54 6m 57s master
November 4, 2024 19:54 6m 57s
More sharing of erasers and sharers (#657)
Continuous Integration #4651: Commit eae3bbe pushed by b-studios
November 4, 2024 17:32 7m 44s master
November 4, 2024 17:32 7m 44s
Add 'char' library by cherrypicking from #631
Continuous Integration #4650: Pull request #664 synchronize by jiribenes
November 4, 2024 15:05 7m 25s cherrypick/library/char
November 4, 2024 15:05 7m 25s
Add 'char' library by cherrypicking from #631
Continuous Integration #4649: Pull request #664 synchronize by jiribenes
November 4, 2024 15:00 5m 42s cherrypick/library/char
November 4, 2024 15:00 5m 42s
Add 'char' library by cherrypicking from #631
Continuous Integration #4648: Pull request #664 synchronize by jiribenes
November 4, 2024 14:57 6m 17s cherrypick/library/char
November 4, 2024 14:57 6m 17s
Add 'char' library by cherrypicking from #631
Continuous Integration #4647: Pull request #664 synchronize by jiribenes
November 4, 2024 14:49 6m 22s cherrypick/library/char
November 4, 2024 14:49 6m 22s
Add 'char' library by cherrypicking from #631
Continuous Integration #4646: Pull request #664 synchronize by jiribenes
November 4, 2024 14:41 6m 56s cherrypick/library/char
November 4, 2024 14:41 6m 56s
Add 'char' library by cherrypicking from #631
Continuous Integration #4645: Pull request #664 synchronize by jiribenes
November 4, 2024 14:35 5m 57s cherrypick/library/char
November 4, 2024 14:35 5m 57s
Add 'char' library by cherrypicking from #631
Continuous Integration #4644: Pull request #664 opened by jiribenes
November 4, 2024 14:33 6m 30s cherrypick/library/char
November 4, 2024 14:33 6m 30s
Basic streaming
Continuous Integration #4643: Pull request #527 synchronize by phischu
November 4, 2024 11:30 6m 58s library/stream
November 4, 2024 11:30 6m 58s
Basic streaming
Continuous Integration #4642: Pull request #527 synchronize by phischu
November 4, 2024 11:29 7m 16s library/stream
November 4, 2024 11:29 7m 16s
Basic streaming
Continuous Integration #4641: Pull request #527 synchronize by phischu
November 4, 2024 09:43 6m 11s library/stream
November 4, 2024 09:43 6m 11s
Release Artifacts
Release Artifacts #55: completed by b-studios
November 4, 2024 03:36 2m 32s
November 4, 2024 03:36 2m 32s
Bump version to 0.8.0
Release Artifacts #54: Commit 430e8a1 pushed by effekt-updater bot
November 4, 2024 03:36 2m 25s v0.8.0
November 4, 2024 03:36 2m 25s
Bump version to 0.8.0
Continuous Integration #4640: Commit 430e8a1 pushed by effekt-updater bot
November 4, 2024 03:36 7m 34s master
November 4, 2024 03:36 7m 34s
Create Version and Tag
Create Version and Tag #18: Scheduled
November 4, 2024 03:30 6m 38s master
November 4, 2024 03:30 6m 38s
Basic streaming
Continuous Integration #4639: Pull request #527 synchronize by phischu
November 3, 2024 20:16 7m 19s library/stream
November 3, 2024 20:16 7m 19s
Basic streaming
Continuous Integration #4638: Pull request #527 synchronize by phischu
November 3, 2024 20:14 6m 39s library/stream
November 3, 2024 20:14 6m 39s
Basic streaming
Continuous Integration #4637: Pull request #527 synchronize by phischu
November 3, 2024 20:14 7m 3s library/stream
November 3, 2024 20:14 7m 3s