Skip to content

Actions: effekt-lang/effekt

Actions

Continuous Integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,416 workflow runs
1,416 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support 64bit integer literals Continuous Integration #3028: Commit 5a192da pushed by b-studios
August 17, 2023 08:44 16m 3s refactor/64bit-integer
refactor/64bit-integer
August 17, 2023 08:44 16m 3s
Merge pull request #278 from effekt-lang/fix/32bit-integer-literals Continuous Integration #3027: Commit cd01517 pushed by b-studios
August 16, 2023 17:56 14m 23s master
master
August 16, 2023 17:56 14m 23s
Fix/32bit integer literals Continuous Integration #3026: Pull request #278 opened by b-studios
August 16, 2023 17:41 15m 4s fix/32bit-integer-literals
fix/32bit-integer-literals
August 16, 2023 17:41 15m 4s
Improve position and error recovery Continuous Integration #3025: Commit 1aae2e9 pushed by b-studios
August 16, 2023 17:33 12m 46s fix/32bit-integer-literals
fix/32bit-integer-literals
August 16, 2023 17:33 12m 46s
Start addressing #269 Continuous Integration #3024: Commit 5b8aad9 pushed by b-studios
August 16, 2023 17:17 14m 24s fix/32bit-integer-literals
fix/32bit-integer-literals
August 16, 2023 17:17 14m 24s
Merge pull request #277 from serkm/to-int Continuous Integration #3023: Commit a8d8666 pushed by b-studios
August 16, 2023 16:54 11m 27s master
master
August 16, 2023 16:54 11m 27s
Bugfix at toInt Continuous Integration #3022: Pull request #277 opened by serkm
August 10, 2023 17:50 14m 16s serkm:to-int
serkm:to-int
August 10, 2023 17:50 14m 16s
Prepares merge Continuous Integration #3021: Commit 1b4adba pushed by MattisKra
August 8, 2023 10:39 3m 11s feature/partial-type-signatures
feature/partial-type-signatures
August 8, 2023 10:39 3m 11s
Typer tests: Fallback to full symbol search in tree Continuous Integration #3020: Commit 863afe9 pushed by marzipankaiser
August 7, 2023 13:29 7m 48s feature/partial-type-signatures--test-infrastructure
feature/partial-type-signatures--test-infrastructure
August 7, 2023 13:29 7m 48s
Fix a bug with free reference variables in local definitions. Continuous Integration #3019: Commit e945058 pushed by phischu
July 31, 2023 11:48 13m 3s master
master
July 31, 2023 11:48 13m 3s
Merge pull request #229 from effekt-lang/evidence-mono Continuous Integration #3018: Commit 82e8568 pushed by b-studios
July 26, 2023 14:07 11m 47s master
master
July 26, 2023 14:07 11m 47s
Evidence Monomorphization Continuous Integration #3017: Pull request #229 synchronize by b-studios
July 26, 2023 13:47 14m 14s evidence-mono
evidence-mono
July 26, 2023 13:47 14m 14s
Fix bug with wrong evidence for region state Continuous Integration #3016: Commit 9ae4acf pushed by b-studios
July 26, 2023 13:47 16m 6s evidence-mono
evidence-mono
July 26, 2023 13:47 16m 6s
Evidence Monomorphization Continuous Integration #3015: Pull request #229 synchronize by phischu
July 26, 2023 12:15 12m 52s evidence-mono
evidence-mono
July 26, 2023 12:15 12m 52s
Change pretty printing of state instructions. Continuous Integration #3014: Commit dde7dcf pushed by phischu
July 26, 2023 12:15 13m 36s evidence-mono
evidence-mono
July 26, 2023 12:15 13m 36s
Partial type signatures Continuous Integration #3013: Pull request #276 opened by marzipankaiser
July 26, 2023 11:19 6m 49s feature/partial-type-signatures
feature/partial-type-signatures
July 26, 2023 11:19 6m 49s
Evidence Monomorphization Continuous Integration #3012: Pull request #229 synchronize by b-studios
July 26, 2023 11:07 10m 54s evidence-mono
evidence-mono
July 26, 2023 11:07 10m 54s
Don't forget effects of bindings Continuous Integration #3011: Commit dfc7460 pushed by b-studios
July 26, 2023 11:07 14m 33s evidence-mono
evidence-mono
July 26, 2023 11:07 14m 33s
Evidence Monomorphization Continuous Integration #3010: Pull request #229 synchronize by b-studios
July 26, 2023 09:29 16m 21s evidence-mono
evidence-mono
July 26, 2023 09:29 16m 21s
Reorder cases Continuous Integration #3009: Commit aee3f1d pushed by b-studios
July 26, 2023 09:28 13m 26s evidence-mono
evidence-mono
July 26, 2023 09:28 13m 26s
Evidence Monomorphization Continuous Integration #3008: Pull request #229 synchronize by b-studios
July 26, 2023 09:06 12m 15s evidence-mono
evidence-mono
July 26, 2023 09:06 12m 15s
Merge branch 'master' into evidence-mono Continuous Integration #3007: Commit 37ff596 pushed by b-studios
July 26, 2023 09:06 14m 0s evidence-mono
evidence-mono
July 26, 2023 09:06 14m 0s
Merge pull request #275 from serkm/multiple-ops Continuous Integration #3006: Commit af47a43 pushed by phischu
July 26, 2023 09:02 10m 40s master
master
July 26, 2023 09:02 10m 40s
Adds EffectWildcards Continuous Integration #3005: Commit 55e732c pushed by MattisKra
July 21, 2023 08:16 7m 29s feature/partial-type-signatures
feature/partial-type-signatures
July 21, 2023 08:16 7m 29s
Multiple operations Continuous Integration #3004: Pull request #275 opened by serkm
July 18, 2023 12:34 7m 43s serkm:multiple-ops
serkm:multiple-ops
July 18, 2023 12:34 7m 43s
ProTip! You can narrow down the results and go further in time using created:<2023-07-18 or the other filters available.