Skip to content

Actions: opencompl/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
909 workflow runs
909 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #909: Scheduled
February 17, 2025 07:01 23s master
master
February 17, 2025 07:01 23s
feat: BitVec.toInt_sshiftRight CI #908: Pull request #39 synchronize by tobiasgrosser
February 17, 2025 00:33 30m 25s sshiftright
sshiftright
February 17, 2025 00:33 30m 25s
feat: BitVec.toInt_sshiftRight CI #907: Pull request #39 synchronize by tobiasgrosser
February 17, 2025 00:32 1m 13s sshiftright
sshiftright
February 17, 2025 00:32 1m 13s
feat: BitVec.toInt_sshiftRight CI #906: Pull request #39 synchronize by tobiasgrosser
February 17, 2025 00:32 34s sshiftright
sshiftright
February 17, 2025 00:32 34s
feat: BitVec.toInt_sshiftRight CI #905: Pull request #39 synchronize by tobiasgrosser
February 17, 2025 00:31 1m 4s sshiftright
sshiftright
February 17, 2025 00:31 1m 4s
feat: BitVec.toInt_sshiftRight CI #904: Pull request #39 synchronize by tobiasgrosser
February 17, 2025 00:18 13m 11s sshiftright
sshiftright
February 17, 2025 00:18 13m 11s
feat: BitVec.toInt_sshiftRight CI #903: Pull request #39 synchronize by tobiasgrosser
February 16, 2025 20:39 35m 20s sshiftright
sshiftright
February 16, 2025 20:39 35m 20s
feat: BitVec.toInt_sshiftRight CI #902: Pull request #39 synchronize by tobiasgrosser
February 16, 2025 19:14 29m 32s sshiftright
sshiftright
February 16, 2025 19:14 29m 32s
feat: BitVec.toInt_sshiftRight CI #901: Pull request #39 synchronize by tobiasgrosser
February 16, 2025 11:09 7m 0s sshiftright
sshiftright
February 16, 2025 11:09 7m 0s
feat: cutsat helper functions (#7098) CI #900: Commit f50b863 pushed by tobiasgrosser
February 16, 2025 11:08 48m 43s master
master
February 16, 2025 11:08 48m 43s
CI CI #899: Scheduled
February 16, 2025 07:01 21s master
master
February 16, 2025 07:01 21s
CI CI #898: Scheduled
February 15, 2025 07:00 20s master
master
February 15, 2025 07:00 20s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #897: Pull request #43 synchronize by alexkeizer
February 14, 2025 17:15 28m 36s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 17:15 28m 36s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #896: Pull request #43 synchronize by alexkeizer
February 14, 2025 17:14 1m 4s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 17:14 1m 4s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #895: Pull request #43 synchronize by alexkeizer
February 14, 2025 17:12 2m 44s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 17:12 2m 44s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #894: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:56 15m 58s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:56 15m 58s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #893: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:52 4m 24s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:52 4m 24s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #892: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:45 7m 44s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:45 7m 44s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #891: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:38 6m 54s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:38 6m 54s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #890: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:36 3m 9s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:36 3m 9s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #889: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:24 11m 44s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:24 11m 44s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #888: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:22 2m 43s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:22 2m 43s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #887: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:20 2m 27s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:20 2m 27s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #886: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:11 9m 34s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:11 9m 34s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account CI #885: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:05 5m 47s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:05 5m 47s