Skip to content

Actions: opencompl/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
864 workflow runs
864 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #864: Scheduled
February 12, 2025 07:01 24s master
master
February 12, 2025 07:01 24s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #863: Pull request #43 synchronize by alexkeizer
February 11, 2025 14:55 24m 19s ac-rfl-term-sharing
ac-rfl-term-sharing
February 11, 2025 14:55 24m 19s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #862: Pull request #43 synchronize by alexkeizer
February 11, 2025 14:54 37s ac-rfl-term-sharing
ac-rfl-term-sharing
February 11, 2025 14:54 37s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #861: Pull request #43 synchronize by alexkeizer
February 11, 2025 14:35 19m 50s ac-rfl-term-sharing
ac-rfl-term-sharing
February 11, 2025 14:35 19m 50s
feat: linear integer inequality normalization using gcd of coeffici… CI #860: Commit befee89 pushed by luisacicolini
February 11, 2025 08:46 49m 5s master
master
February 11, 2025 08:46 49m 5s
CI CI #859: Scheduled
February 11, 2025 07:01 27s master
master
February 11, 2025 07:01 27s
feat: simp +arith normalizes coefficient in linear integer polynomi… CI #858: Commit d61f506 pushed by luisacicolini
February 10, 2025 08:51 1h 21m 19s master
master
February 10, 2025 08:51 1h 21m 19s
CI CI #857: Scheduled
February 10, 2025 07:01 26s master
master
February 10, 2025 07:01 26s
CI CI #856: Scheduled
February 9, 2025 07:01 19s master
master
February 9, 2025 07:01 19s
CI CI #855: Scheduled
February 8, 2025 07:01 19s master
master
February 8, 2025 07:01 19s
CI CI #854: Scheduled
February 7, 2025 07:01 25s master
master
February 7, 2025 07:01 25s
CI CI #853: Scheduled
February 6, 2025 07:01 21s master
master
February 6, 2025 07:01 21s
CI CI #852: Scheduled
February 5, 2025 07:01 24s master
master
February 5, 2025 07:01 24s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #851: Pull request #43 synchronize by bollu
February 4, 2025 23:29 27m 16s ac-rfl-term-sharing
ac-rfl-term-sharing
February 4, 2025 23:29 27m 16s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #850: Pull request #43 synchronize by bollu
February 4, 2025 23:24 5m 47s ac-rfl-term-sharing
ac-rfl-term-sharing
February 4, 2025 23:24 5m 47s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #849: Pull request #43 synchronize by bollu
February 4, 2025 12:48 23m 28s ac-rfl-term-sharing
ac-rfl-term-sharing
February 4, 2025 12:48 23m 28s
CI CI #848: Scheduled
February 4, 2025 07:01 23s master
master
February 4, 2025 07:01 23s
CI CI #847: Scheduled
February 3, 2025 07:01 19s master
master
February 3, 2025 07:01 19s
CI CI #846: Scheduled
February 2, 2025 07:01 20s master
master
February 2, 2025 07:01 20s
CI CI #845: Scheduled
February 1, 2025 07:01 20s master
master
February 1, 2025 07:01 20s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #844: Pull request #43 synchronize by bollu
January 31, 2025 17:20 27m 38s ac-rfl-term-sharing
ac-rfl-term-sharing
January 31, 2025 17:20 27m 38s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #843: Pull request #43 synchronize by bollu
January 31, 2025 16:58 22m 57s ac-rfl-term-sharing
ac-rfl-term-sharing
January 31, 2025 16:58 22m 57s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #842: Pull request #43 synchronize by bollu
January 31, 2025 16:37 20m 50s ac-rfl-term-sharing
ac-rfl-term-sharing
January 31, 2025 16:37 20m 50s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #841: Pull request #43 synchronize by bollu
January 31, 2025 16:32 5m 41s ac-rfl-term-sharing
ac-rfl-term-sharing
January 31, 2025 16:32 5m 41s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #840: Pull request #43 synchronize by bollu
January 31, 2025 10:08 27m 59s ac-rfl-term-sharing
ac-rfl-term-sharing
January 31, 2025 10:08 27m 59s