Skip to content

Actions: triviajon/mengine

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
64 workflow runs
64 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

improving documentation test #13: Commit d5a8f8d pushed by triviajon
25s main
main
25s
improving documentation clang-format #24: Commit d5a8f8d pushed by triviajon
24s main
main
24s
improving documentation clang-tidy #27: Commit d5a8f8d pushed by triviajon
27s main
main
27s
fix build issue test #12: Commit 8f47291 pushed by triviajon
39s main
main
39s
fix build issue clang-format #23: Commit 8f47291 pushed by triviajon
28s main
main
28s
fix build issue clang-tidy #26: Commit 8f47291 pushed by triviajon
24s main
main
24s
Move proof_state to src/engine clang-tidy #25: Commit b0fb301 pushed by triviajon
26s main
main
26s
Move proof_state to src/engine clang-format #22: Commit b0fb301 pushed by triviajon
32s main
main
32s
Move proof_state to src/engine test #11: Commit b0fb301 pushed by triviajon
32s main
main
32s
Implement cbv tactic test #10: Commit 49e112e pushed by triviajon
35s main
main
35s
Implement cbv tactic clang-tidy #24: Commit 49e112e pushed by triviajon
35s main
main
35s
Implement cbv tactic clang-format #21: Commit 49e112e pushed by triviajon
22s main
main
22s
Echo parsed comments clang-tidy #23: Commit 15331e3 pushed by triviajon
32s main
main
32s
Echo parsed comments clang-format #20: Commit 15331e3 pushed by triviajon
32s main
main
32s
Echo parsed comments test #9: Commit 15331e3 pushed by triviajon
36s main
main
36s
Add free expression functions clang-tidy #22: Commit 84b0bf3 pushed by triviajon
26s main
main
26s
Add free expression functions clang-format #19: Commit 84b0bf3 pushed by triviajon
22s main
main
22s
Add free expression functions test #8: Commit 84b0bf3 pushed by triviajon
30s main
main
30s
Apply clang-format to all files test #7: Commit 52652c8 pushed by triviajon
33s main
main
33s
Apply clang-format to all files clang-tidy #21: Commit 52652c8 pushed by triviajon
25s main
main
25s
Apply clang-format to all files clang-format #18: Commit 52652c8 pushed by triviajon
22s main
main
22s
Apply clang-format to all files clang-format #17: Commit 52652c8 pushed by triviajon
21s kernel_refactor
kernel_refactor
21s
Apply clang-format to all files clang-tidy #20: Commit 52652c8 pushed by triviajon
24s kernel_refactor
kernel_refactor
24s
Apply clang-format to all files test #6: Commit 52652c8 pushed by triviajon
22s kernel_refactor
kernel_refactor
22s
Change clang-foramt column length test #5: Commit 0598a2e pushed by triviajon
24s kernel_refactor
kernel_refactor
24s