Skip to content

Actions: llvm/circt

Actions

Build and Test

Actions

Loading...
Loading

Showing runs from all workflows named Build and Test
10,357 workflow run results
10,357 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Verif] Add ignore attribute to formal (#7719) Windows build and test #6750: Commit 2bd44c8 pushed by leonardt
October 31, 2024 23:25 11m 26s main
main
October 31, 2024 23:25 11m 26s
[Verif] Add ignore attribute to formal (#7719) Build and Test #27651: Commit 2bd44c8 pushed by leonardt
October 31, 2024 23:25 13m 56s main
main
October 31, 2024 23:25 13m 56s
[FIRRTL] Fix folding of when conditions into LTL properties Build and Test #27650: Pull request #7760 opened by fabianschuiki
October 31, 2024 23:03 21m 9s fschuiki/verif-under-when
fschuiki/verif-under-when
October 31, 2024 23:03 21m 9s
[LTL] Canonicalize ltl.and to comb.and for i1 properties Build and Test #27649: Pull request #7759 opened by fabianschuiki
October 31, 2024 23:02 21m 34s fschuiki/canonicalize-ltl-and
fschuiki/canonicalize-ltl-and
October 31, 2024 23:02 21m 34s
[Calyx] BuildControl for nested SCF::If ops (#7669) Windows build and test #6749: Commit 6405aa7 pushed by jiahanxie353
October 31, 2024 22:07 12m 2s main
main
October 31, 2024 22:07 12m 2s
[Calyx] BuildControl for nested SCF::If ops (#7669) Build and Test #27648: Commit 6405aa7 pushed by jiahanxie353
October 31, 2024 22:07 14m 43s main
main
October 31, 2024 22:07 14m 43s
[SCFToCalyx] Build control for nested if operation Build and Test #27647: Pull request #7669 synchronize by jiahanxie353
October 31, 2024 21:45 14m 55s jiahanxie353:nested-if
jiahanxie353:nested-if
October 31, 2024 21:45 14m 55s
Calyx Binary Floating Point AddF Operator (#7089) Windows build and test #6748: Commit 963d695 pushed by jiahanxie353
October 31, 2024 21:41 14m 53s main
main
October 31, 2024 21:41 14m 53s
Calyx Binary Floating Point AddF Operator (#7089) Build and Test #27646: Commit 963d695 pushed by jiahanxie353
October 31, 2024 21:41 13m 8s main
main
October 31, 2024 21:41 13m 8s
Calyx Binary Floating Point AddF Operator Build and Test #27645: Pull request #7089 synchronize by jiahanxie353
October 31, 2024 21:26 14m 29s jiahanxie353:calyx-addf
jiahanxie353:calyx-addf
October 31, 2024 21:26 14m 29s
Flatten memref Global and its corresponding GetGlobal operations (#7758) Build and Test #27644: Commit d22a695 pushed by jiahanxie353
October 31, 2024 21:11 14m 55s main
main
October 31, 2024 21:11 14m 55s
Flatten memref Global and its corresponding GetGlobal operations (#7758) Windows build and test #6747: Commit d22a695 pushed by jiahanxie353
October 31, 2024 21:11 11m 31s main
main
October 31, 2024 21:11 11m 31s
Flatten memref Global and its corresponding GetGlobal operations Build and Test #27643: Pull request #7758 opened by jiahanxie353
October 31, 2024 19:44 30m 56s jiahanxie353:flatten-memref-global
jiahanxie353:flatten-memref-global
October 31, 2024 19:44 30m 56s
[HW] Add port name accessors to HWInstanceLike (#7757) Windows build and test #6746: Commit e1e10ae pushed by maerhart
October 31, 2024 18:36 36m 20s main
main
October 31, 2024 18:36 36m 20s
[HW] Add port name accessors to HWInstanceLike (#7757) Build and Test #27642: Commit e1e10ae pushed by maerhart
October 31, 2024 18:36 22m 46s main
main
October 31, 2024 18:36 22m 46s
[Verif] Add ignore attribute to formal Build and Test #27641: Pull request #7719 synchronize by leonardt
October 31, 2024 18:35 20m 34s lenny/verif-formal-ignore
lenny/verif-formal-ignore
October 31, 2024 18:35 20m 34s
[Verif] Add ignore attribute to formal Build and Test #27640: Pull request #7719 synchronize by leonardt
October 31, 2024 18:35 13m 32s lenny/verif-formal-ignore
lenny/verif-formal-ignore
October 31, 2024 18:35 13m 32s
[Verif] Add ignore attribute to formal Build and Test #27639: Pull request #7719 synchronize by leonardt
October 31, 2024 18:33 13m 42s lenny/verif-formal-ignore
lenny/verif-formal-ignore
October 31, 2024 18:33 13m 42s
[Verif] Add ignore attribute to formal Build and Test #27638: Pull request #7719 synchronize by leonardt
October 31, 2024 18:31 13m 37s lenny/verif-formal-ignore
lenny/verif-formal-ignore
October 31, 2024 18:31 13m 37s
[Verif] Add ignore attribute to formal Build and Test #27637: Pull request #7719 synchronize by leonardt
October 31, 2024 18:29 14m 24s lenny/verif-formal-ignore
lenny/verif-formal-ignore
October 31, 2024 18:29 14m 24s
[HW] Add port name accessors to HWInstanceLike Build and Test #27636: Pull request #7757 synchronize by maerhart
October 31, 2024 18:13 15m 24s maerhart-hwinstancelike
maerhart-hwinstancelike
October 31, 2024 18:13 15m 24s
Revert "Flatten memref GetGlobal and Global operations (#7093)" Windows build and test #6745: Commit afd11bb pushed by fabianschuiki
October 31, 2024 17:17 13m 56s main
main
October 31, 2024 17:17 13m 56s
Revert "Flatten memref GetGlobal and Global operations (#7093)" Build and Test #27635: Commit afd11bb pushed by fabianschuiki
October 31, 2024 17:17 14m 7s main
main
October 31, 2024 17:17 14m 7s
[circt-test] Add simple SymbiYosys test runner (#7756) Build and Test #27634: Commit 9b4cc2c pushed by fabianschuiki
October 31, 2024 17:14 13m 34s main
main
October 31, 2024 17:14 13m 34s
[circt-test] Add simple SymbiYosys test runner (#7756) Windows build and test #6744: Commit 9b4cc2c pushed by fabianschuiki
October 31, 2024 17:14 12m 50s main
main
October 31, 2024 17:14 12m 50s