Skip to content

Actions: 01mf02/kontroli-rs

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #16 from 01mf02/dependabot/cargo/mimalloc-0.1.39 Rust #569: Commit 22bfbdf pushed by 01mf02
November 13, 2024 09:50 46s master
master
November 13, 2024 09:50 46s
Bump mimalloc from 0.1.34 to 0.1.39 Rust #568: Commit 992de8e pushed by dependabot bot
November 12, 2024 21:22 44s dependabot/cargo/mimalloc-0.1.39
dependabot/cargo/mimalloc-0.1.39
November 12, 2024 21:22 44s
Use ControlFlow. Rust #567: Commit ac771e9 pushed by 01mf02
April 29, 2024 12:30 44s master
master
April 29, 2024 12:30 44s
Make inline forget inlined defs and use strict parser to save memory. Rust #566: Commit 9b4c8b9 pushed by 01mf02
April 26, 2024 14:50 42s master
master
April 26, 2024 14:50 42s
Examples for dedukti-parse. Rust #565: Commit 823b174 pushed by 01mf02
April 25, 2024 15:29 49s master
master
April 25, 2024 15:29 49s
Test variable contexts for declarations. Rust #564: Commit 3c84054 pushed by 01mf02
April 24, 2024 17:54 41s master
master
April 24, 2024 17:54 41s
Generalise STerm::apply(). Rust #563: Commit 0ed9e05 pushed by 01mf02
April 23, 2024 17:09 1m 12s master
master
April 23, 2024 17:09 1m 12s
Document. Rust #562: Commit ba06c19 pushed by 01mf02
March 14, 2024 08:35 48s master
master
March 14, 2024 08:35 48s
Make run always accept a parameter. Rust #561: Commit 5a74f5a pushed by 01mf02
March 14, 2024 08:20 41s master
master
March 14, 2024 08:20 41s
Refactor JS part of koweb. Rust #560: Commit a93b8a5 pushed by 01mf02
March 14, 2024 08:18 43s master
master
March 14, 2024 08:18 43s
Use web-sys instead of ureq to make requests. Rust #559: Commit b7a4976 pushed by 01mf02
March 14, 2024 07:18 47s master
master
March 14, 2024 07:18 47s
Remove even more dependencies. Rust #558: Commit 2393c0e pushed by 01mf02
March 13, 2024 19:44 45s master
master
March 13, 2024 19:44 45s
Use serde-wasm-bindgen to address warnings. Rust #557: Commit 5532919 pushed by 01mf02
March 13, 2024 19:31 40s master
master
March 13, 2024 19:31 40s
Merge pull request #15 from 01mf02/dependabot/cargo/mio-0.8.11 Rust #556: Commit e7c47f8 pushed by 01mf02
March 13, 2024 18:58 45s master
master
March 13, 2024 18:58 45s
Merge pull request #13 from 01mf02/dependabot/cargo/h2-0.3.24 Rust #555: Commit 4729ec5 pushed by 01mf02
March 13, 2024 18:58 56s master
master
March 13, 2024 18:58 56s
Bump lazy-st. Rust #554: Commit a94d981 pushed by 01mf02
March 13, 2024 18:55 44s master
master
March 13, 2024 18:55 44s
Bump mio from 0.8.5 to 0.8.11 Rust #553: Commit 4b248ae pushed by dependabot bot
March 4, 2024 21:39 39s dependabot/cargo/mio-0.8.11
dependabot/cargo/mio-0.8.11
March 4, 2024 21:39 39s
Bump h2 from 0.3.17 to 0.3.24 Rust #552: Commit 1732d6d pushed by dependabot bot
January 19, 2024 16:10 47s dependabot/cargo/h2-0.3.24
dependabot/cargo/h2-0.3.24
January 19, 2024 16:10 47s
Update crossbeam. Rust #551: Commit 3cfb0f2 pushed by 01mf02
January 8, 2024 17:14 41s master
master
January 8, 2024 17:14 41s
MSRV. Rust #550: Commit 835dbc5 pushed by 01mf02
January 8, 2024 17:09 46s master
master
January 8, 2024 17:09 46s
Bump version to 0.4.2. Rust #549: Commit f636eec pushed by 01mf02
January 8, 2024 17:02 51s master
master
January 8, 2024 17:02 51s
Rust Rust #548: by 01mf02
January 8, 2024 17:02 41s v0.4.2
v0.4.2
January 8, 2024 17:02 41s
Add release workflow. Rust #547: Commit 1282efe pushed by 01mf02
January 8, 2024 16:52 54s master
master
January 8, 2024 16:52 54s
Try MSRV 1.64. Rust #546: Commit 0243f52 pushed by 01mf02
January 8, 2024 16:50 55s master
master
January 8, 2024 16:50 55s
Try MSRV. Rust #545: Commit 151b134 pushed by 01mf02
January 8, 2024 16:45 50s master
master
January 8, 2024 16:45 50s