Skip to content

Actions: opencompl/lean-mlir

Actions

Performance

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
performance.yml
157 workflow runs
157 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: increase maxRecDepth Performance #157: Pull request #923 opened by tobiasgrosser
December 27, 2024 21:24 1h 25m 33s increase_max_rec_depth
increase_max_rec_depth
December 27, 2024 21:24 1h 25m 33s
chore: use simp -implicitDefEqProofs (#922) Performance #156: Commit be7adcd pushed by github-merge-queue bot
December 27, 2024 15:28 4h 6m 54s main
main
December 27, 2024 15:28 4h 6m 54s
Performance Performance #155: Merge group checks requested
December 27, 2024 15:24 2h 48m 33s
December 27, 2024 15:24 2h 48m 33s
chore: use simp -implicitDefEqProofs Performance #154: Pull request #922 opened by tobiasgrosser
December 27, 2024 14:50 2h 1m 44s simp_def_eq_proofs
simp_def_eq_proofs
December 27, 2024 14:50 2h 1m 44s
chore: introduce timeout for llvm non-symbolic (#921) Performance #153: Commit 718d1c6 pushed by github-merge-queue bot
December 27, 2024 14:20 1h 7m 33s main
main
December 27, 2024 14:20 1h 7m 33s
Performance Performance #152: Merge group checks requested
December 27, 2024 14:19 47s
December 27, 2024 14:19 47s
chore: introduce timeout for llvm non-symbolic Performance #151: Pull request #921 opened by tobiasgrosser
December 27, 2024 14:17 2m 42s timeout_llvm_nonsymbolic
timeout_llvm_nonsymbolic
December 27, 2024 14:17 2m 42s
chore: update to nightly-testing-2024-12-27 (#920) Performance #150: Commit 4dd19a7 pushed by github-merge-queue bot
December 27, 2024 12:19 1h 59m 57s main
main
December 27, 2024 12:19 1h 59m 57s
feat: Adapt the generic circuit based decision procedure for fixed-width Performance #149: Pull request #893 synchronize by bollu
December 27, 2024 11:09 3h 50m 48s circuit-special-fast-fixed-width
circuit-special-fast-fixed-width
December 27, 2024 11:09 3h 50m 48s
Performance Performance #148: Merge group checks requested
December 27, 2024 10:55 1h 26m 17s
December 27, 2024 10:55 1h 26m 17s
chore: update to nightly-testing-2024-12-27 Performance #147: Pull request #920 synchronize by tobiasgrosser
December 27, 2024 09:34 2h 47m 44s nightly-testing-2024-12-27
nightly-testing-2024-12-27
December 27, 2024 09:34 2h 47m 44s
chore: update to nightly-testing-2024-12-27 Performance #146: Pull request #920 opened by tobiasgrosser
December 27, 2024 09:33 42s nightly-testing-2024-12-27
nightly-testing-2024-12-27
December 27, 2024 09:33 42s
chore: test bitwuzla update Performance #145: Pull request #918 synchronize by tobiasgrosser
December 27, 2024 06:58 5h 22m 36s test_bitwuzla_update
test_bitwuzla_update
December 27, 2024 06:58 5h 22m 36s
chore: do not hide LLVM output when collecting data (#919) Performance #144: Commit 0aef1c2 pushed by github-merge-queue bot
December 27, 2024 00:48 11h 31m 37s main
main
December 27, 2024 00:48 11h 31m 37s
chore: update to nightly-testing-2024-12-26 (#916) Performance #143: Commit b34a6c9 pushed by github-merge-queue bot
December 27, 2024 00:19 29m 19s main
main
December 27, 2024 00:19 29m 19s
Performance Performance #142: Merge group checks requested
December 26, 2024 23:23 12h 6m 41s
December 26, 2024 23:23 12h 6m 41s
Performance Performance #141: Merge group checks requested
December 26, 2024 22:54 12h 36m 5s
December 26, 2024 22:54 12h 36m 5s
chore: update to nightly-testing-2024-12-26 Performance #140: Pull request #916 synchronize by tobiasgrosser
December 26, 2024 22:53 12h 37m 3s nightly-testing-2024-12-26
nightly-testing-2024-12-26
December 26, 2024 22:53 12h 37m 3s
chore: update to nightly-testing-2024-12-25 (#915) Performance #139: Commit 7797db8 pushed by github-merge-queue bot
December 26, 2024 22:49 1h 29m 45s main
main
December 26, 2024 22:49 1h 29m 45s
chore: do not hide LLVM output when collecting data Performance #138: Pull request #919 opened by tobiasgrosser
December 26, 2024 22:02 11h 41m 53s do_not_hide_llvm_output
do_not_hide_llvm_output
December 26, 2024 22:02 11h 41m 53s
Performance Performance #137: Merge group checks requested
December 26, 2024 21:27 12h 15m 6s
December 26, 2024 21:27 12h 15m 6s
chore: update to nightly-testing-2024-12-25 Performance #136: Pull request #915 synchronize by tobiasgrosser
December 26, 2024 21:26 12h 14m 26s nightly-2024-12-25
nightly-2024-12-25
December 26, 2024 21:26 12h 14m 26s
chore: update to nightly-testing-2024-12-24 (#914) Performance #135: Commit d91f626 pushed by github-merge-queue bot
December 26, 2024 21:13 1h 36m 27s main
main
December 26, 2024 21:13 1h 36m 27s
Performance Performance #134: Merge group checks requested
December 26, 2024 21:11 12h 28m 48s
December 26, 2024 21:11 12h 28m 48s
chore: do not fail in case some test cases time out (#917) Performance #133: Commit a17d9ac pushed by github-merge-queue bot
December 26, 2024 19:40 1h 32m 34s main
main
December 26, 2024 19:40 1h 32m 34s