Skip to content

Actions: effekt-lang/effekt

Continuous Integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,033 workflow runs
2,033 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rebalance benchmarks
Continuous Integration #5206: Pull request #822 opened by phischu
February 7, 2025 17:12 11m 48s rebalance_benchmarks
February 7, 2025 17:12 11m 48s
More filesystem benchmarks
Continuous Integration #5205: Pull request #802 synchronize by phischu
February 7, 2025 13:44 10m 12s benchmark_files
February 7, 2025 13:44 10m 12s
More filesystem benchmarks
Continuous Integration #5204: Pull request #802 synchronize by phischu
February 6, 2025 19:59 10m 26s benchmark_files
February 6, 2025 19:59 10m 26s
More filesystem benchmarks
Continuous Integration #5203: Pull request #802 synchronize by phischu
February 6, 2025 19:59 10m 3s benchmark_files
February 6, 2025 19:59 10m 3s
More filesystem benchmarks
Continuous Integration #5202: Pull request #802 synchronize by phischu
February 6, 2025 19:23 9m 45s benchmark_files
February 6, 2025 19:23 9m 45s
More filesystem benchmarks
Continuous Integration #5201: Pull request #802 synchronize by phischu
February 6, 2025 18:52 9m 10s benchmark_files
February 6, 2025 18:52 9m 10s
Bump actions/download-artifact from 3 to 4 (#820)
Continuous Integration #5200: Commit f4c840f pushed by jiribenes
February 6, 2025 17:02 12m 19s master
February 6, 2025 17:02 12m 19s
CI: fix autorelease, add Dependabot (#818)
Continuous Integration #5198: Commit aadb513 pushed by b-studios
February 6, 2025 16:38 10m 3s master
February 6, 2025 16:38 10m 3s
Specialize on most common opening flags (#816)
Continuous Integration #5197: Commit 37d1189 pushed by phischu
February 6, 2025 16:12 11m 12s master
February 6, 2025 16:12 11m 12s
Specialize on most common opening flags
Continuous Integration #5196: Pull request #816 synchronize by phischu
February 6, 2025 13:55 12m 29s fix/writefile
February 6, 2025 13:55 12m 29s
Specialize on most common opening flags
Continuous Integration #5195: Pull request #816 synchronize by phischu
February 6, 2025 13:46 11m 33s fix/writefile
February 6, 2025 13:46 11m 33s
Valgrind fails in CI (#790)
Continuous Integration #5194: Commit a0021e5 pushed by b-studios
February 6, 2025 13:33 9m 26s master
February 6, 2025 13:33 9m 26s
CI: fix autorelease, add Dependabot
Continuous Integration #5193: Pull request #818 synchronize by jiribenes
February 6, 2025 09:52 10m 1s fix/issue-817
February 6, 2025 09:52 10m 1s
CI: fix autorelease, add Dependabot
Continuous Integration #5192: Pull request #818 opened by jiribenes
February 6, 2025 09:50 10m 29s fix/issue-817
February 6, 2025 09:50 10m 29s
Specialize on most common opening flags
Continuous Integration #5191: Pull request #816 synchronize by phischu
February 6, 2025 00:35 10m 24s fix/writefile
February 6, 2025 00:35 10m 24s
Valgrind fails in CI
Continuous Integration #5190: Pull request #790 synchronize by phischu
February 6, 2025 00:30 9m 26s fix/ci_valgrind
February 6, 2025 00:30 9m 26s
Specialize on most common opening flags
Continuous Integration #5189: Pull request #816 synchronize by b-studios
February 5, 2025 19:42 11m 59s fix/writefile
February 5, 2025 19:42 11m 59s
Specialize on most common opening flags
Continuous Integration #5188: Pull request #816 synchronize by b-studios
February 5, 2025 19:38 8m 41s fix/writefile
February 5, 2025 19:38 8m 41s
Specialize on most common opening flags
Continuous Integration #5187: Pull request #816 synchronize by phischu
February 5, 2025 16:39 11m 59s fix/writefile
February 5, 2025 16:39 11m 59s
Specialize on most common opening flags
Continuous Integration #5186: Pull request #816 synchronize by phischu
February 5, 2025 16:19 10m 38s fix/writefile
February 5, 2025 16:19 10m 38s
Specialize on most common opening flags
Continuous Integration #5185: Pull request #816 synchronize by phischu
February 5, 2025 16:19 10m 14s fix/writefile
February 5, 2025 16:19 10m 14s
Specialize on most common opening flags
Continuous Integration #5184: Pull request #816 opened by phischu
February 5, 2025 15:05 10m 58s fix/writefile
February 5, 2025 15:05 10m 58s
More filesystem benchmarks
Continuous Integration #5183: Pull request #802 synchronize by marvinborner
February 4, 2025 15:17 11m 27s benchmark_files
February 4, 2025 15:17 11m 27s
Panic on prompt duplication (#810)
Continuous Integration #5182: Commit cfa951e pushed by b-studios
February 4, 2025 07:54 9m 14s master
February 4, 2025 07:54 9m 14s