Skip to content

Actions: l-adic/arithmetic-circuits

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
122 workflow runs
122 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md
Cabal CI #76: Commit 1d6870f pushed by martyall
July 7, 2024 21:45 12m 26s master
July 7, 2024 21:45 12m 26s
Update README.md
Ormolu CI #46: Commit 1d6870f pushed by martyall
July 7, 2024 21:45 16s master
July 7, 2024 21:45 16s
Create README.md
Ormolu CI #45: Commit 6609239 pushed by martyall
July 7, 2024 21:44 17s master
July 7, 2024 21:44 17s
Create README.md
Cabal CI #75: Commit 6609239 pushed by martyall
July 7, 2024 21:44 1m 9s master
July 7, 2024 21:44 1m 9s
Update README.md
Ormolu CI #44: Commit 5a08c96 pushed by martyall
June 2, 2024 23:16 15s master
June 2, 2024 23:16 15s
Update README.md
Cabal CI #74: Commit 5a08c96 pushed by martyall
June 2, 2024 23:16 3m 59s master
June 2, 2024 23:16 3m 59s
Update README.md
Cabal CI #73: Commit 1d49614 pushed by martyall
June 2, 2024 23:15 1m 22s master
June 2, 2024 23:15 1m 22s
Update README.md
Ormolu CI #43: Commit 1d49614 pushed by martyall
June 2, 2024 23:15 13s master
June 2, 2024 23:15 13s
Prevent duplicate bindings (#18)
Ormolu CI #42: Commit 7323152 pushed by martyall
June 2, 2024 16:12 18s master
June 2, 2024 16:12 18s
Prevent duplicate bindings (#18)
Cabal CI #72: Commit 7323152 pushed by martyall
June 2, 2024 16:12 3m 26s master
June 2, 2024 16:12 3m 26s
Prevent duplicate bindings
Ormolu CI #41: Pull request #18 opened by martyall
June 2, 2024 16:08 18s prevent-duplicate-bindings
June 2, 2024 16:08 18s
Prevent duplicate bindings
Cabal CI #71: Pull request #18 opened by martyall
June 2, 2024 16:08 3m 38s prevent-duplicate-bindings
June 2, 2024 16:08 3m 38s
Merge pull request #17 from l-adic/dot-outputs
Cabal CI #70: Commit 7d06e2b pushed by martyall
June 2, 2024 05:11 3m 20s master
June 2, 2024 05:11 3m 20s
Merge pull request #17 from l-adic/dot-outputs
Ormolu CI #40: Commit 7d06e2b pushed by martyall
June 2, 2024 05:11 13s master
June 2, 2024 05:11 13s
Dot outputs
Ormolu CI #39: Pull request #17 synchronize by martyall
June 2, 2024 04:42 12s dot-outputs
June 2, 2024 04:42 12s
Dot outputs
Cabal CI #69: Pull request #17 synchronize by martyall
June 2, 2024 04:42 3m 28s dot-outputs
June 2, 2024 04:42 3m 28s
Dot outputs
Ormolu CI #38: Pull request #17 synchronize by martyall
June 2, 2024 04:40 17s dot-outputs
June 2, 2024 04:40 17s
Dot outputs
Cabal CI #68: Pull request #17 synchronize by martyall
June 2, 2024 04:40 2m 32s dot-outputs
June 2, 2024 04:40 2m 32s
Dot outputs
Ormolu CI #37: Pull request #17 opened by martyall
June 2, 2024 04:31 14s dot-outputs
June 2, 2024 04:31 14s
Dot outputs
Cabal CI #67: Pull request #17 opened by martyall
June 2, 2024 04:31 3m 34s dot-outputs
June 2, 2024 04:31 3m 34s
Merge pull request #16 from l-adic/boolean-constraints
Cabal CI #66: Commit 527869d pushed by martyall
June 1, 2024 14:14 3m 18s master
June 1, 2024 14:14 3m 18s
Merge pull request #16 from l-adic/boolean-constraints
Ormolu CI #36: Commit 527869d pushed by martyall
June 1, 2024 14:14 17s master
June 1, 2024 14:14 17s
Enforce Boolean input constraints
Ormolu CI #35: Pull request #16 synchronize by martyall
June 1, 2024 14:11 13s boolean-constraints
June 1, 2024 14:11 13s
Enforce Boolean input constraints
Cabal CI #65: Pull request #16 synchronize by martyall
June 1, 2024 14:11 3m 33s boolean-constraints
June 1, 2024 14:11 3m 33s
Enforce Boolean input constraints
Cabal CI #64: Pull request #16 synchronize by martyall
June 1, 2024 14:06 3m 24s boolean-constraints
June 1, 2024 14:06 3m 24s