Skip to content

Actions: effekt-lang/effekt

Actions

Continuous Integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
95 workflow run results
95 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Integrate higher-rank polymorphism on block parameters Continuous Integration #3107: Pull request #298 synchronize by dvdvgt
October 30, 2023 14:49 17m 54s feature/higher-rank-poly
feature/higher-rank-poly
October 30, 2023 14:49 17m 54s
update check files Continuous Integration #3106: Commit 5c71325 pushed by dvdvgt
October 30, 2023 14:49 12m 22s feature/higher-rank-poly
feature/higher-rank-poly
October 30, 2023 14:49 12m 22s
Integrate higher-rank polymorphism on block parameters Continuous Integration #3105: Pull request #298 opened by dvdvgt
October 30, 2023 14:09 11m 28s feature/higher-rank-poly
feature/higher-rank-poly
October 30, 2023 14:09 11m 28s
add parentheses to v-params if t-params present Continuous Integration #3104: Commit 98e504b pushed by dvdvgt
October 30, 2023 13:58 13m 12s feature/higher-rank-poly
feature/higher-rank-poly
October 30, 2023 13:58 13m 12s
add tests Continuous Integration #3103: Commit 13c6caa pushed by dvdvgt
October 27, 2023 17:52 13m 51s feature/higher-rank-poly
feature/higher-rank-poly
October 27, 2023 17:52 13m 51s
Feature/init array default values Continuous Integration #3102: Pull request #296 synchronize by IR0NSIGHT
October 25, 2023 10:08 11m 9s feature/init-array-default-values
feature/init-array-default-values
October 25, 2023 10:08 11m 9s
init array for immutable list Continuous Integration #3101: Commit f1496e0 pushed by IR0NSIGHT
October 25, 2023 10:08 10m 50s feature/init-array-default-values
feature/init-array-default-values
October 25, 2023 10:08 10m 50s
Feature/init array default values Continuous Integration #3100: Pull request #296 synchronize by IR0NSIGHT
October 25, 2023 09:55 8m 59s feature/init-array-default-values
feature/init-array-default-values
October 25, 2023 09:55 8m 59s
init array for immutable list Continuous Integration #3099: Commit e2821cb pushed by IR0NSIGHT
October 25, 2023 09:55 12m 2s feature/init-array-default-values
feature/init-array-default-values
October 25, 2023 09:55 12m 2s
Feature/init array default values Continuous Integration #3098: Pull request #296 synchronize by IR0NSIGHT
October 25, 2023 09:55 13m 8s feature/init-array-default-values
feature/init-array-default-values
October 25, 2023 09:55 13m 8s
init array for immutable list Continuous Integration #3097: Commit 8ae3471 pushed by IR0NSIGHT
October 25, 2023 09:54 11m 46s feature/init-array-default-values
feature/init-array-default-values
October 25, 2023 09:54 11m 46s
24-okt-stand-dirty Continuous Integration #3096: Commit b95b041 pushed by IR0NSIGHT
October 24, 2023 10:22 11m 38s feature/fasteffekt-permute
feature/fasteffekt-permute
October 24, 2023 10:22 11m 38s
Merge pull request #294 from effekt-lang/feature/compile-option Continuous Integration #3094: Commit ffc7700 pushed by b-studios
October 23, 2023 16:43 10m 19s master
master
October 23, 2023 16:43 10m 19s
Rework --compile and add a seperate --build option Continuous Integration #3093: Pull request #294 synchronize by dvdvgt
October 23, 2023 12:39 13m 55s feature/compile-option
feature/compile-option
October 23, 2023 12:39 13m 55s
update kiama Continuous Integration #3092: Commit acda3fa pushed by dvdvgt
October 23, 2023 12:39 15m 20s feature/compile-option
feature/compile-option
October 23, 2023 12:39 15m 20s
Rework --compile and add a seperate --build option Continuous Integration #3091: Pull request #294 synchronize by dvdvgt
October 21, 2023 11:18 12m 48s feature/compile-option
feature/compile-option
October 21, 2023 11:18 12m 48s
create bash script executable for scheme backend Continuous Integration #3090: Commit 2037982 pushed by dvdvgt
October 21, 2023 11:18 11m 36s feature/compile-option
feature/compile-option
October 21, 2023 11:18 11m 36s
Draft: Make Case studies work in JIT Continuous Integration #3089: Pull request #295 synchronize by marzipankaiser
October 20, 2023 23:06 12m 0s feature/jit-casestudies
feature/jit-casestudies
October 20, 2023 23:06 12m 0s
Minor Continuous Integration #3088: Commit 46e6db4 pushed by marzipankaiser
October 20, 2023 23:06 12m 34s feature/jit-casestudies
feature/jit-casestudies
October 20, 2023 23:06 12m 34s
Jit Continuous Integration #3087: Pull request #134 synchronize by marzipankaiser
October 20, 2023 23:06 11m 19s jit
jit
October 20, 2023 23:06 11m 19s
Minor stdlib improvements Continuous Integration #3086: Commit 59aaf3c pushed by marzipankaiser
October 20, 2023 23:06 13m 46s jit
jit
October 20, 2023 23:06 13m 46s
Draft: Make Case studies work in JIT Continuous Integration #3085: Pull request #295 synchronize by marzipankaiser
October 20, 2023 18:07 13m 30s feature/jit-casestudies
feature/jit-casestudies
October 20, 2023 18:07 13m 30s
Minor Continuous Integration #3084: Commit e47c9da pushed by marzipankaiser
October 20, 2023 18:07 14m 26s feature/jit-casestudies
feature/jit-casestudies
October 20, 2023 18:07 14m 26s
Draft: Make Case studies work in JIT Continuous Integration #3083: Pull request #295 synchronize by marzipankaiser
October 20, 2023 15:46 10m 1s feature/jit-casestudies
feature/jit-casestudies
October 20, 2023 15:46 10m 1s
Make it run in chez-lift Continuous Integration #3082: Commit 1dfbc7d pushed by marzipankaiser
October 20, 2023 15:46 12m 19s feature/jit-casestudies
feature/jit-casestudies
October 20, 2023 15:46 12m 19s