Skip to content

Actions: 01mf02/kontroli-rs

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
43 workflow runs
43 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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. Build with MSRV (minimal supported Rust version) #13: Commit b7a4976 pushed by 01mf02
March 14, 2024 07:18 1m 2s master
master
March 14, 2024 07:18 1m 2s
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
Remove even more dependencies. Build with MSRV (minimal supported Rust version) #12: Commit 2393c0e pushed by 01mf02
March 13, 2024 19:44 1m 2s master
master
March 13, 2024 19:44 1m 2s
Use serde-wasm-bindgen to address warnings. Build with MSRV (minimal supported Rust version) #11: Commit 5532919 pushed by 01mf02
March 13, 2024 19:31 1m 0s master
master
March 13, 2024 19:31 1m 0s
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 Build with MSRV (minimal supported Rust version) #10: Commit e7c47f8 pushed by 01mf02
March 13, 2024 18:58 56s master
master
March 13, 2024 18:58 56s
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
Merge pull request #13 from 01mf02/dependabot/cargo/h2-0.3.24 Build with MSRV (minimal supported Rust version) #9: Commit 4729ec5 pushed by 01mf02
March 13, 2024 18:58 1m 1s master
master
March 13, 2024 18:58 1m 1s
Bump lazy-st. Build with MSRV (minimal supported Rust version) #8: Commit a94d981 pushed by 01mf02
March 13, 2024 18:55 57s master
master
March 13, 2024 18:55 57s
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 Build with MSRV (minimal supported Rust version) #7: Commit 4b248ae pushed by dependabot bot
March 4, 2024 21:39 3m 51s dependabot/cargo/mio-0.8.11
dependabot/cargo/mio-0.8.11
March 4, 2024 21:39 3m 51s
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 Build with MSRV (minimal supported Rust version) #6: Commit 1732d6d pushed by dependabot bot
January 19, 2024 16:10 2m 43s dependabot/cargo/h2-0.3.24
dependabot/cargo/h2-0.3.24
January 19, 2024 16:10 2m 43s
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. Build with MSRV (minimal supported Rust version) #5: Commit 3cfb0f2 pushed by 01mf02
January 8, 2024 17:14 2m 14s master
master
January 8, 2024 17:14 2m 14s