Skip to content

Actions: tsionyx/prop-logic

Actions

Rust CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
70 workflow runs
70 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Normal forms Rust CI #94: Pull request #2 synchronize by tsionyx
January 16, 2025 18:01 1m 19s nf
nf
January 16, 2025 18:01 1m 19s
simplify the derived binary Connectives Rust CI #93: Commit 8cd85b6 pushed by tsionyx
January 16, 2025 18:01 1m 21s master
master
January 16, 2025 18:01 1m 21s
Normal forms Rust CI #92: Pull request #2 synchronize by tsionyx
January 16, 2025 17:34 1m 28s nf
nf
January 16, 2025 17:34 1m 28s
Normal forms Rust CI #91: Pull request #2 synchronize by tsionyx
January 12, 2025 18:22 1m 23s nf
nf
January 12, 2025 18:22 1m 23s
Normal forms Rust CI #90: Pull request #2 synchronize by tsionyx
January 12, 2025 17:32 1m 24s nf
nf
January 12, 2025 17:32 1m 24s
Normal forms Rust CI #89: Pull request #2 synchronize by tsionyx
January 8, 2025 19:51 1m 9s nf
nf
January 8, 2025 19:51 1m 9s
Normal forms Rust CI #88: Pull request #2 synchronize by tsionyx
January 8, 2025 19:10 1m 22s nf
nf
January 8, 2025 19:10 1m 22s
Normal forms Rust CI #87: Pull request #2 synchronize by tsionyx
January 7, 2025 17:05 1m 24s nf
nf
January 7, 2025 17:05 1m 24s
Normal forms Rust CI #86: Pull request #2 synchronize by tsionyx
January 7, 2025 16:56 1m 23s nf
nf
January 7, 2025 16:56 1m 23s
Normal forms Rust CI #85: Pull request #2 synchronize by tsionyx
January 6, 2025 17:54 46s nf
nf
January 6, 2025 17:54 46s
Normal forms Rust CI #84: Pull request #2 synchronize by tsionyx
January 6, 2025 17:39 1m 12s nf
nf
January 6, 2025 17:39 1m 12s
Normal forms Rust CI #83: Pull request #2 synchronize by tsionyx
January 4, 2025 20:30 1m 20s nf
nf
January 4, 2025 20:30 1m 20s
Normal forms Rust CI #82: Pull request #2 synchronize by tsionyx
January 3, 2025 19:33 1m 7s nf
nf
January 3, 2025 19:33 1m 7s
Normal forms Rust CI #81: Pull request #2 synchronize by tsionyx
January 3, 2025 19:05 1m 35s nf
nf
January 3, 2025 19:05 1m 35s
Normal forms Rust CI #80: Pull request #2 synchronize by tsionyx
January 2, 2025 18:10 1m 13s nf
nf
January 2, 2025 18:10 1m 13s
Normal forms Rust CI #79: Pull request #2 synchronize by tsionyx
January 2, 2025 17:27 1m 15s nf
nf
January 2, 2025 17:27 1m 15s
Normal forms Rust CI #78: Pull request #2 synchronize by tsionyx
January 1, 2025 20:35 58s nf
nf
January 1, 2025 20:35 58s
Normal forms Rust CI #77: Pull request #2 synchronize by tsionyx
January 1, 2025 16:02 1m 6s nf
nf
January 1, 2025 16:02 1m 6s
Normal forms Rust CI #76: Pull request #2 synchronize by tsionyx
January 1, 2025 13:41 1m 9s nf
nf
January 1, 2025 13:41 1m 9s
Normal forms Rust CI #75: Pull request #2 synchronize by tsionyx
January 1, 2025 13:30 33s nf
nf
January 1, 2025 13:30 33s
Normal forms Rust CI #74: Pull request #2 synchronize by tsionyx
January 1, 2025 12:05 1m 17s nf
nf
January 1, 2025 12:05 1m 17s
Normal forms Rust CI #73: Pull request #2 synchronize by tsionyx
December 30, 2024 12:44 38s nf
nf
December 30, 2024 12:44 38s
Normal forms Rust CI #72: Pull request #2 synchronize by tsionyx
December 26, 2024 19:55 1m 10s nf
nf
December 26, 2024 19:55 1m 10s
Normal forms Rust CI #71: Pull request #2 synchronize by tsionyx
December 26, 2024 16:53 1m 7s nf
nf
December 26, 2024 16:53 1m 7s
Normal forms Rust CI #70: Pull request #2 synchronize by tsionyx
December 25, 2024 13:54 1m 7s nf
nf
December 25, 2024 13:54 1m 7s