Skip to content

Actions: opencompl/lean-mlir

Actions

core library

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
3,626 workflow runs
3,626 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add BitVec.(msb, getMsbD)_concat core library #3996: Pull request #732 synchronize by luisacicolini
October 28, 2024 02:39 4m 13s msb-concat
msb-concat
October 28, 2024 02:39 4m 13s
feat: add BitVec.(msb, getMsbD)_concat core library #3995: Pull request #732 synchronize by luisacicolini
October 28, 2024 02:39 4m 23s msb-concat
msb-concat
October 28, 2024 02:39 4m 23s
feat: add BitVec.(msb, getMsbD)_concat core library #3994: Pull request #732 synchronize by luisacicolini
October 28, 2024 01:38 4m 17s msb-concat
msb-concat
October 28, 2024 01:38 4m 17s
feat: add BitVec.(msb, getMsbD)_concat core library #3993: Pull request #732 opened by luisacicolini
October 28, 2024 01:38 4m 5s msb-concat
msb-concat
October 28, 2024 01:38 4m 5s
chore: fix encoding issues core library #3992: Pull request #731 opened by tobiasgrosser
October 27, 2024 23:56 52s encoding_issues
encoding_issues
October 27, 2024 23:56 52s
feat: plots and stats for llvm tests core library #3991: Pull request #728 synchronize by luisacicolini
October 27, 2024 23:34 52s llvm-eval-plots
llvm-eval-plots
October 27, 2024 23:34 52s
feat: plots and stats for llvm tests core library #3990: Pull request #728 synchronize by luisacicolini
October 27, 2024 23:31 43s llvm-eval-plots
llvm-eval-plots
October 27, 2024 23:31 43s
feat: plots and stats for llvm tests core library #3989: Pull request #728 synchronize by luisacicolini
October 27, 2024 22:46 2m 15s llvm-eval-plots
llvm-eval-plots
October 27, 2024 22:46 2m 15s
feat: plots and stats for llvm tests core library #3988: Pull request #728 synchronize by luisacicolini
October 27, 2024 21:43 2m 15s llvm-eval-plots
llvm-eval-plots
October 27, 2024 21:43 2m 15s
feat: plots and stats for llvm tests core library #3987: Pull request #728 synchronize by luisacicolini
October 27, 2024 21:22 2m 28s llvm-eval-plots
llvm-eval-plots
October 27, 2024 21:22 2m 28s
feat: plots and stats for llvm tests core library #3986: Pull request #728 synchronize by luisacicolini
October 27, 2024 19:41 1m 10s llvm-eval-plots
llvm-eval-plots
October 27, 2024 19:41 1m 10s
feat: plots and stats for llvm tests core library #3985: Pull request #728 synchronize by luisacicolini
October 27, 2024 19:39 51s llvm-eval-plots
llvm-eval-plots
October 27, 2024 19:39 51s
feat: plots and stats for llvm tests core library #3984: Pull request #728 synchronize by luisacicolini
October 27, 2024 19:29 2m 9s llvm-eval-plots
llvm-eval-plots
October 27, 2024 19:29 2m 9s
feat: plots and stats for llvm tests core library #3983: Pull request #728 synchronize by luisacicolini
October 27, 2024 19:29 2m 11s llvm-eval-plots
llvm-eval-plots
October 27, 2024 19:29 2m 11s
feat: plots and stats for llvm tests core library #3982: Pull request #728 synchronize by luisacicolini
October 27, 2024 19:28 2m 19s llvm-eval-plots
llvm-eval-plots
October 27, 2024 19:28 2m 19s
chore: update leanwuzla (#729) core library #3981: Commit 6e76106 pushed by github-merge-queue bot
October 26, 2024 16:48 10m 43s main
main
October 26, 2024 16:48 10m 43s
core library core library #3980: Merge group checks requested
October 26, 2024 16:36 10m 48s
October 26, 2024 16:36 10m 48s
chore: update leanwuzla core library #3979: Pull request #729 opened by tobiasgrosser
October 26, 2024 16:25 10m 45s update-leanwuzla
update-leanwuzla
October 26, 2024 16:25 10m 45s
feat: plots and stats for llvm tests core library #3978: Pull request #728 synchronize by luisacicolini
October 26, 2024 15:17 3m 36s llvm-eval-plots
llvm-eval-plots
October 26, 2024 15:17 3m 36s
feat: plots and stats for llvm tests core library #3977: Pull request #728 synchronize by luisacicolini
October 26, 2024 15:12 53s llvm-eval-plots
llvm-eval-plots
October 26, 2024 15:12 53s
feat: plots and stats for llvm tests core library #3976: Pull request #728 synchronize by luisacicolini
October 26, 2024 15:09 49s llvm-eval-plots
llvm-eval-plots
October 26, 2024 15:09 49s
feat: plots and stats for llvm tests core library #3975: Pull request #728 synchronize by luisacicolini
October 26, 2024 15:05 42s llvm-eval-plots
llvm-eval-plots
October 26, 2024 15:05 42s
feat: plots and stats for llvm tests core library #3974: Pull request #728 opened by luisacicolini
October 26, 2024 15:03 48s llvm-eval-plots
llvm-eval-plots
October 26, 2024 15:03 48s
feat: add (msb, getMsbD)_twoPow (#726) core library #3973: Commit 0080a3c pushed by github-merge-queue bot
October 26, 2024 11:04 10m 8s main
main
October 26, 2024 11:04 10m 8s
chore: update to 2024-10-25 (#727) core library #3972: Commit 7adf4b9 pushed by github-merge-queue bot
October 26, 2024 10:59 10m 40s main
main
October 26, 2024 10:59 10m 40s