Skip to content

Actions: tsionyx/prop-logic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
70 workflow runs
70 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Normal forms Rust CI #69: Pull request #2 synchronize by tsionyx
December 25, 2024 13:43 1m 11s nf
nf
December 25, 2024 13:43 1m 11s
Normal forms Rust CI #68: Pull request #2 synchronize by tsionyx
December 25, 2024 12:26 1m 13s nf
nf
December 25, 2024 12:26 1m 13s
Normal forms Rust CI #67: Pull request #2 synchronize by tsionyx
December 22, 2024 20:37 35s nf
nf
December 22, 2024 20:37 35s
Normal forms Rust CI #66: Pull request #2 synchronize by tsionyx
December 21, 2024 20:04 57s nf
nf
December 21, 2024 20:04 57s
Normal forms Rust CI #65: Pull request #2 synchronize by tsionyx
December 17, 2024 20:41 1m 12s nf
nf
December 17, 2024 20:41 1m 12s
Normal forms Rust CI #64: Pull request #2 synchronize by tsionyx
December 17, 2024 20:22 44s nf
nf
December 17, 2024 20:22 44s
Normal forms Rust CI #63: Pull request #2 synchronize by tsionyx
December 16, 2024 14:15 44s nf
nf
December 16, 2024 14:15 44s
Normal forms Rust CI #62: Pull request #2 synchronize by tsionyx
December 14, 2024 20:02 36s nf
nf
December 14, 2024 20:02 36s
Normal forms Rust CI #61: Pull request #2 synchronize by tsionyx
December 14, 2024 20:01 39s nf
nf
December 14, 2024 20:01 39s
Normal forms Rust CI #60: Pull request #2 synchronize by tsionyx
December 14, 2024 19:31 39s nf
nf
December 14, 2024 19:31 39s
Normal forms Rust CI #59: Pull request #2 opened by tsionyx
December 14, 2024 17:58 1m 3s nf
nf
December 14, 2024 17:58 1m 3s
minor: simplify Discriminant usage Rust CI #58: Commit c0868e5 pushed by tsionyx
December 9, 2024 18:26 1m 2s master
master
December 9, 2024 18:26 1m 2s
More simplifying AnyConnective to wrap operands Rust CI #57: Commit 4aafd86 pushed by tsionyx
December 9, 2024 17:16 1m 9s master
master
December 9, 2024 17:16 1m 9s
More simplifying AnyConnective to wrap operands Rust CI #56: Commit 9a8b8d9 pushed by tsionyx
December 9, 2024 16:54 39s master
master
December 9, 2024 16:54 39s
Simplify AnyConnective Rust CI #55: Commit 1674cf2 pushed by tsionyx
December 4, 2024 17:27 1m 20s master
master
December 4, 2024 17:27 1m 20s
get rid of Deref antipattern Rust CI #54: Commit c6ed468 pushed by tsionyx
December 1, 2024 22:16 1m 6s master
master
December 1, 2024 22:16 1m 6s
FIX: for rust version <= 1.79 Rust CI #53: Commit 632e92a pushed by tsionyx
December 1, 2024 17:48 1m 19s master
master
December 1, 2024 17:48 1m 19s
AllFunctions store BoolFnExt + Connective Rust CI #52: Commit 2195b02 pushed by tsionyx
December 1, 2024 17:32 41s master
master
December 1, 2024 17:32 41s
rewrite notation Rust CI #51: Commit 2b98219 pushed by tsionyx
November 30, 2024 22:17 41s master
master
November 30, 2024 22:17 41s
WIP: rewrite notation Rust CI #50: Commit 82f0e77 pushed by tsionyx
November 30, 2024 16:58 41s master
master
November 30, 2024 16:58 41s
functional comleteness tests Rust CI #49: Commit f0d0c1b pushed by tsionyx
November 30, 2024 15:27 39s master
master
November 30, 2024 15:27 39s
functional comleteness tests Rust CI #48: Commit ba904f7 pushed by tsionyx
November 30, 2024 15:20 37s master
master
November 30, 2024 15:20 37s
WIP: functional comleteness tests Rust CI #47: Commit 1d76180 pushed by tsionyx
November 29, 2024 19:14 38s master
master
November 29, 2024 19:14 38s
WIP: functional comleteness tests Rust CI #46: Commit ea86438 pushed by tsionyx
November 29, 2024 19:09 42s master
master
November 29, 2024 19:09 42s
Boolean functions' properties Rust CI #45: Commit f25191f pushed by tsionyx
November 27, 2024 23:56 1m 4s master
master
November 27, 2024 23:56 1m 4s