Skip to content

Actions: endorlabs/MIRAI

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
132 workflow runs
132 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update to nightly-2024-12-03 Continuous Integration #17: Pull request #15 opened by hermanventer
December 3, 2024 03:09 19m 48s new_nightly
new_nightly
December 3, 2024 03:09 19m 48s
Update to nightly-2024-12-03 MIRAI on MIRAI #17: Pull request #15 opened by hermanventer
December 3, 2024 03:09 46m 38s new_nightly
new_nightly
December 3, 2024 03:09 46m 38s
Fix generic args specialization for unevaluated MIR constants (#13) Continuous Integration #16: Commit 4b42ac4 pushed by hermanventer
December 3, 2024 03:04 20m 20s main
main
December 3, 2024 03:04 20m 20s
Fix generic args specialization for unevaluated MIR constants (#13) MIRAI on MIRAI #16: Commit 4b42ac4 pushed by hermanventer
December 3, 2024 03:04 10m 7s main
main
December 3, 2024 03:04 10m 7s
Fix generic args specialization for unevaluated MIR constants Continuous Integration #15: Pull request #13 opened by davidsemakula
December 1, 2024 20:55 19m 55s davidsemakula:mir-const-gen-arg-specialization
davidsemakula:mir-const-gen-arg-specialization
December 1, 2024 20:55 19m 55s
Fix generic args specialization for unevaluated MIR constants MIRAI on MIRAI #15: Pull request #13 opened by davidsemakula
December 1, 2024 20:55 9m 31s davidsemakula:mir-const-gen-arg-specialization
davidsemakula:mir-const-gen-arg-specialization
December 1, 2024 20:55 9m 31s
Improve memory efficiency by deleting Z3_context on drop of `Z3Solv… Continuous Integration #14: Commit b243ed7 pushed by hermanventer
November 28, 2024 01:39 28m 39s main
main
November 28, 2024 01:39 28m 39s
Improve memory efficiency by deleting Z3_context on drop of `Z3Solv… MIRAI on MIRAI #14: Commit b243ed7 pushed by hermanventer
November 28, 2024 01:39 49m 45s main
main
November 28, 2024 01:39 49m 45s
Improve memory efficiency by deleting Z3_context on drop of Z3Solver Continuous Integration #13: Pull request #11 synchronize by davidsemakula
November 27, 2024 19:32 20m 1s davidsemakula:z3-solver
davidsemakula:z3-solver
November 27, 2024 19:32 20m 1s
Improve memory efficiency by deleting Z3_context on drop of Z3Solver MIRAI on MIRAI #13: Pull request #11 synchronize by davidsemakula
November 27, 2024 19:32 48m 34s davidsemakula:z3-solver
davidsemakula:z3-solver
November 27, 2024 19:32 48m 34s
Improve memory efficiency by deleting Z3_context on drop of Z3Solver Continuous Integration #12: Pull request #11 opened by davidsemakula
November 27, 2024 05:33 25m 11s davidsemakula:z3-solver
davidsemakula:z3-solver
November 27, 2024 05:33 25m 11s
Improve memory efficiency by deleting Z3_context on drop of Z3Solver MIRAI on MIRAI #12: Pull request #11 opened by davidsemakula
November 27, 2024 05:33 3m 51s davidsemakula:z3-solver
davidsemakula:z3-solver
November 27, 2024 05:33 3m 51s
Update to nightly-2024-02-05 (#9) MIRAI on MIRAI #11: Commit 167d859 pushed by hermanventer
November 14, 2024 01:58 10m 20s main
main
November 14, 2024 01:58 10m 20s
Update to nightly-2024-02-05 (#9) Continuous Integration #11: Commit 167d859 pushed by hermanventer
November 14, 2024 01:58 19m 38s main
main
November 14, 2024 01:58 19m 38s
Update to nightly-2024-02-05 Continuous Integration #10: Pull request #9 opened by hermanventer
November 14, 2024 01:20 20m 1s new_nightly
new_nightly
November 14, 2024 01:20 20m 1s
Update to nightly-2024-02-05 MIRAI on MIRAI #10: Pull request #9 opened by hermanventer
November 14, 2024 01:20 8m 46s new_nightly
new_nightly
November 14, 2024 01:20 8m 46s
Update to nightly-2023-12-31 (#8) Continuous Integration #9: Commit fd712f7 pushed by hermanventer
November 13, 2024 00:21 28m 2s main
main
November 13, 2024 00:21 28m 2s
Update to nightly-2023-12-31 (#8) MIRAI on MIRAI #9: Commit fd712f7 pushed by hermanventer
November 13, 2024 00:21 50m 17s main
main
November 13, 2024 00:21 50m 17s
Update to nightly-2023-12-31 Continuous Integration #8: Pull request #8 opened by hermanventer
November 12, 2024 23:23 36m 39s new_nightly
new_nightly
November 12, 2024 23:23 36m 39s
Update to nightly-2023-12-31 MIRAI on MIRAI #8: Pull request #8 opened by hermanventer
November 12, 2024 23:23 51m 14s new_nightly
new_nightly
November 12, 2024 23:23 51m 14s
Merge pull request #6 from endorlabs/readme MIRAI on MIRAI #7: Commit 02d4c5c pushed by hermanventer
October 18, 2024 21:01 9m 54s main
main
October 18, 2024 21:01 9m 54s
Merge pull request #6 from endorlabs/readme Continuous Integration #7: Commit 02d4c5c pushed by hermanventer
October 18, 2024 21:01 20m 44s main
main
October 18, 2024 21:01 20m 44s
Update documentation Continuous Integration #6: Pull request #6 synchronize by hermanventer
October 18, 2024 20:13 19m 55s readme
readme
October 18, 2024 20:13 19m 55s
Update documentation MIRAI on MIRAI #6: Pull request #6 synchronize by hermanventer
October 18, 2024 20:13 48m 5s readme
readme
October 18, 2024 20:13 48m 5s
Update documentation Continuous Integration #5: Pull request #6 opened by hermanventer
October 18, 2024 17:41 34m 21s readme
readme
October 18, 2024 17:41 34m 21s