Skip to content

Actions: theknarf-experiments/proclog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
75 workflow runs
75 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Refactor tests out to tests directory CI #75: Commit 113510a pushed by TheKnarf
1m 6s main
main
1m 6s
nix flake CI #74: Commit 93f94c4 pushed by TheKnarf
58s main
main
58s
Refactor into seperate crates CI #73: Commit 051df98 pushed by TheKnarf
1m 5s main
main
1m 5s
Remove wrapper crate CI #72: Commit 6debbde pushed by TheKnarf
9s main
main
9s
Refactor into seperate crates CI #71: Commit 051df98 pushed by TheKnarf
57s main
main
57s
Fix cargo check and cargo clippy + cargo fmt CI #70: Commit 61533b4 pushed by TheKnarf
1m 0s main
main
1m 0s
Span's CI #69: Commit d69bc30 pushed by TheKnarf
1m 3s main
main
1m 3s
Split up parser into lexer and parser step CI #68: Commit d1ff9c4 pushed by TheKnarf
58s main
main
58s
Split parser and ast into their own crates CI #67: Commit 666bca2 pushed by TheKnarf
1m 10s main
main
1m 10s
License and new example CI #66: Commit ecf1f1b pushed by TheKnarf
1m 17s main
main
1m 17s
Update test command in CI CI #65: Commit d069700 pushed by TheKnarf
1m 25s main
main
1m 25s
Update gitignore CI #64: Commit f7c1778 pushed by TheKnarf
18m 16s main
main
18m 16s
Beginning of WASM support CI #63: Commit 9e9f0f3 pushed by TheKnarf
18m 7s main
main
18m 7s
just rust-tests to run cargo test CI #62: Commit 8262421 pushed by TheKnarf
18m 46s main
main
18m 46s
Move test runner into main crate CI #61: Commit 395ec71 pushed by TheKnarf
16m 45s main
main
16m 45s
More SAT solver stuff CI #60: Commit 5c35783 pushed by TheKnarf
18m 12s main
main
18m 12s
More SAT solver stuff CI #59: Commit 21e7422 pushed by TheKnarf
52s main
main
52s
sAT solver backend CI #58: Commit 61f26de pushed by TheKnarf
18m 11s main
main
18m 11s
count support in parser and an example CI #57: Commit 5b1a2e0 pushed by TheKnarf
1m 58s main
main
1m 58s
Count aggregate CI #56: Commit c54419e pushed by TheKnarf
1m 36s main
main
1m 36s
Sample and seed support for cli, and extra examples CI #55: Commit 680e2ab pushed by TheKnarf
1m 37s main
main
1m 37s
Fix tests CI #54: Commit 426aa3b pushed by TheKnarf
1m 48s main
main
1m 48s
Sampling, updated tui for repl CI #53: Commit 4fdc502 pushed by TheKnarf
46s main
main
46s
Exclude built-ins from rule safety grounding CI #52: Pull request #25 synchronize by TheKnarf
1m 40s codex/update-safety.rs-for-built-in-atom-detection
codex/update-safety.rs-for-built-in-atom-detection
1m 40s
Exclude built-ins from rule safety grounding CI #51: Pull request #25 synchronize by TheKnarf
1m 16s codex/update-safety.rs-for-built-in-atom-detection
codex/update-safety.rs-for-built-in-atom-detection
1m 16s