Skip to content

Actions: l-adic/arithmetic-circuits

Actions

Ormolu CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ormolu.yml
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md Ormolu CI #46: Commit 1d6870f pushed by martyall
July 7, 2024 21:45 16s master
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
master
July 7, 2024 21:44 17s
Update README.md Ormolu CI #44: Commit 5a08c96 pushed by martyall
June 2, 2024 23:16 15s master
master
June 2, 2024 23:16 15s
Update README.md Ormolu CI #43: Commit 1d49614 pushed by martyall
June 2, 2024 23:15 13s master
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
master
June 2, 2024 16:12 18s
Prevent duplicate bindings Ormolu CI #41: Pull request #18 opened by martyall
June 2, 2024 16:08 18s prevent-duplicate-bindings
prevent-duplicate-bindings
June 2, 2024 16:08 18s
Merge pull request #17 from l-adic/dot-outputs Ormolu CI #40: Commit 7d06e2b pushed by martyall
June 2, 2024 05:11 13s master
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
dot-outputs
June 2, 2024 04:42 12s
Dot outputs Ormolu CI #38: Pull request #17 synchronize by martyall
June 2, 2024 04:40 17s dot-outputs
dot-outputs
June 2, 2024 04:40 17s
Dot outputs Ormolu CI #37: Pull request #17 opened by martyall
June 2, 2024 04:31 14s dot-outputs
dot-outputs
June 2, 2024 04:31 14s
Merge pull request #16 from l-adic/boolean-constraints Ormolu CI #36: Commit 527869d pushed by martyall
June 1, 2024 14:14 17s master
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
boolean-constraints
June 1, 2024 14:11 13s
Enforce Boolean input constraints Ormolu CI #34: Pull request #16 synchronize by martyall
June 1, 2024 14:06 13s boolean-constraints
boolean-constraints
June 1, 2024 14:06 13s
Enforce Boolean input constraints Ormolu CI #33: Pull request #16 opened by martyall
June 1, 2024 14:05 18s boolean-constraints
boolean-constraints
June 1, 2024 14:05 18s
Merge pull request #14 from l-adic/require-inputs-only-solve Ormolu CI #32: Commit dd73d65 pushed by martyall
May 30, 2024 00:28 20s master
master
May 30, 2024 00:28 20s
Add Verify command Ormolu CI #31: Pull request #14 synchronize by martyall
May 30, 2024 00:24 14s require-inputs-only-solve
require-inputs-only-solve
May 30, 2024 00:24 14s
Add Verify command Ormolu CI #30: Pull request #14 synchronize by martyall
May 29, 2024 23:39 13s require-inputs-only-solve
require-inputs-only-solve
May 29, 2024 23:39 13s
Add Verify command Ormolu CI #29: Pull request #14 synchronize by martyall
May 29, 2024 23:33 14s require-inputs-only-solve
require-inputs-only-solve
May 29, 2024 23:33 14s
Add Verify command Ormolu CI #28: Pull request #14 synchronize by martyall
May 29, 2024 16:45 14s require-inputs-only-solve
require-inputs-only-solve
May 29, 2024 16:45 14s
Add Verify command Ormolu CI #27: Pull request #14 synchronize by martyall
May 29, 2024 16:41 17s require-inputs-only-solve
require-inputs-only-solve
May 29, 2024 16:41 17s
Add Verify command Ormolu CI #26: Pull request #14 synchronize by martyall
May 29, 2024 15:15 14s require-inputs-only-solve
require-inputs-only-solve
May 29, 2024 15:15 14s
Add Verify command Ormolu CI #25: Pull request #14 synchronize by martyall
May 29, 2024 15:03 17s require-inputs-only-solve
require-inputs-only-solve
May 29, 2024 15:03 17s
Add Verify command Ormolu CI #24: Pull request #14 synchronize by martyall
May 28, 2024 17:09 15s require-inputs-only-solve
require-inputs-only-solve
May 28, 2024 17:09 15s
Add Verify command Ormolu CI #23: Pull request #14 synchronize by martyall
May 28, 2024 16:29 13s require-inputs-only-solve
require-inputs-only-solve
May 28, 2024 16:29 13s
Add Verify command Ormolu CI #22: Pull request #14 synchronize by martyall
May 28, 2024 16:18 15s require-inputs-only-solve
require-inputs-only-solve
May 28, 2024 16:18 15s