Skip to content

Actions: NomicFoundation/slang

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
2,032 workflow runs
2,032 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

allow benchmark dry-runs in CI ci #2195: Pull request #1217 synchronize by OmarTawfik
January 9, 2025 17:37 1m 9s OmarTawfik-forks:ci-benchmark-dry-run
OmarTawfik-forks:ci-benchmark-dry-run
January 9, 2025 17:37 1m 9s
allow benchmark dry-runs in CI ci #2194: Pull request #1217 opened by OmarTawfik
January 9, 2025 17:31 5m 23s OmarTawfik-forks:ci-benchmark-dry-run
OmarTawfik-forks:ci-benchmark-dry-run
January 9, 2025 17:31 5m 23s
fix ebnf writer bugs (#1214) ci #2193: Commit a640e59 pushed by github-merge-queue bot
January 9, 2025 17:16 24m 51s gh-readonly-queue/main/pr-1214-3936e23789be31f05ca2a9ad7b389d6a17b9d224
gh-readonly-queue/main/pr-1214-3936e23789be31f05ca2a9ad7b389d6a17b9d224
January 9, 2025 17:16 24m 51s
Change ParseOutput to return a NonTerminal instead of a Node ci #2192: Pull request #1187 synchronize by beta-ziliani
January 8, 2025 20:13 24m 49s manastech:beta/parse_result
manastech:beta/parse_result
January 8, 2025 20:13 24m 49s
Allow defining built-ins types and functions only inside relevant contexts ci #2191: Pull request #1203 synchronize by mjoerussell
January 8, 2025 15:55 15m 59s manastech:built-in-contexts
manastech:built-in-contexts
January 8, 2025 15:55 15m 59s
Change Edge::label from optional to required ci #2190: Pull request #1205 synchronize by mjoerussell
January 8, 2025 15:15 24m 7s manastech:feature/required-label
manastech:feature/required-label
January 8, 2025 15:15 24m 7s
Allow defining built-ins types and functions only inside relevant contexts ci #2189: Pull request #1203 synchronize by mjoerussell
January 6, 2025 14:21 6m 30s manastech:built-in-contexts
manastech:built-in-contexts
January 6, 2025 14:21 6m 30s
fix ebnf writer bugs ci #2188: Pull request #1214 synchronize by OmarTawfik
January 5, 2025 16:12 24m 29s OmarTawfik-forks:fix-ebnf-bugs
OmarTawfik-forks:fix-ebnf-bugs
January 5, 2025 16:12 24m 29s
fix ebnf writer bugs ci #2187: Pull request #1214 opened by OmarTawfik
January 5, 2025 15:41 9m 45s OmarTawfik-forks:fix-ebnf-bugs
OmarTawfik-forks:fix-ebnf-bugs
January 5, 2025 15:41 9m 45s
Change Edge::label from optional to required ci #2186: Pull request #1205 synchronize by mjoerussell
January 3, 2025 21:59 24m 44s manastech:feature/required-label
manastech:feature/required-label
January 3, 2025 21:59 24m 44s
Change Edge::label from optional to required ci #2185: Pull request #1205 synchronize by mjoerussell
January 3, 2025 21:56 3m 41s manastech:feature/required-label
manastech:feature/required-label
January 3, 2025 21:56 3m 41s
Change Edge::label from optional to required ci #2184: Pull request #1205 synchronize by mjoerussell
January 3, 2025 17:02 24m 10s manastech:feature/required-label
manastech:feature/required-label
January 3, 2025 17:02 24m 10s
Change Edge::label from optional to required ci #2183: Pull request #1205 synchronize by mjoerussell
January 3, 2025 15:59 24m 59s manastech:feature/required-label
manastech:feature/required-label
January 3, 2025 15:59 24m 59s
complete public API documentation ci #2182: Pull request #1212 synchronize by OmarTawfik
January 3, 2025 12:28 24m 35s OmarTawfik-forks:typedoc-site
OmarTawfik-forks:typedoc-site
January 3, 2025 12:28 24m 35s
Change Edge::label from optional to required ci #2181: Pull request #1205 synchronize by mjoerussell
January 2, 2025 15:24 24m 13s manastech:feature/required-label
manastech:feature/required-label
January 2, 2025 15:24 24m 13s
Change Edge::label from optional to required ci #2180: Pull request #1205 synchronize by mjoerussell
January 2, 2025 14:59 24m 24s manastech:feature/required-label
manastech:feature/required-label
January 2, 2025 14:59 24m 24s
Change Edge::label from optional to required ci #2179: Pull request #1205 synchronize by mjoerussell
January 2, 2025 14:33 6m 39s manastech:feature/required-label
manastech:feature/required-label
January 2, 2025 14:33 6m 39s
Change Edge::label from optional to required ci #2178: Pull request #1205 synchronize by mjoerussell
January 2, 2025 14:33 22s manastech:feature/required-label
manastech:feature/required-label
January 2, 2025 14:33 22s
Change Edge::label from optional to required ci #2177: Pull request #1205 synchronize by mjoerussell
January 2, 2025 14:33 16s manastech:feature/required-label
manastech:feature/required-label
January 2, 2025 14:33 16s
Use database of partial paths to speed up bindings resolution (#1204) ci #2176: Commit 3936e23 pushed by github-merge-queue bot
January 2, 2025 03:00 32m 27s main
main
January 2, 2025 03:00 32m 27s
Use database of partial paths to speed up bindings resolution (#1204) ci #2175: Commit 3936e23 pushed by github-merge-queue bot
January 2, 2025 02:35 24m 11s gh-readonly-queue/main/pr-1204-35d89d636665cf32e5f865ccddd0727eaae0c5bc
gh-readonly-queue/main/pr-1204-35d89d636665cf32e5f865ccddd0727eaae0c5bc
January 2, 2025 02:35 24m 11s
complete public API documentation ci #2174: Pull request #1212 synchronize by OmarTawfik
January 2, 2025 02:28 25m 11s OmarTawfik-forks:typedoc-site
OmarTawfik-forks:typedoc-site
January 2, 2025 02:28 25m 11s
complete public API documentation ci #2173: Pull request #1212 synchronize by OmarTawfik
January 2, 2025 01:44 9m 46s OmarTawfik-forks:typedoc-site
OmarTawfik-forks:typedoc-site
January 2, 2025 01:44 9m 46s
Use database of partial paths to speed up bindings resolution ci #2172: Pull request #1204 synchronize by OmarTawfik
January 2, 2025 01:42 24m 28s OmarTawfik/hooks-database-stitching
OmarTawfik/hooks-database-stitching
January 2, 2025 01:42 24m 28s
skip identifiers due to #1213 bug ci #2171: Commit 856842b pushed by OmarTawfik
January 2, 2025 01:42 23m 58s OmarTawfik/hooks-database-stitching
OmarTawfik/hooks-database-stitching
January 2, 2025 01:42 23m 58s