Skip to content

Actions: opencompl/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
95 workflow runs
95 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upload test coverage Upload test coverage #15: completed by tobiasgrosser
February 16, 2025 02:21 3m 49s
February 16, 2025 02:21 3m 49s
Publish test results Publish test results #15: completed by tobiasgrosser
February 16, 2025 02:21 17s
February 16, 2025 02:21 17s
Upload test coverage Upload test coverage #14: completed by tobiasgrosser
February 16, 2025 02:20 3m 27s
February 16, 2025 02:20 3m 27s
Publish test results Publish test results #14: completed by tobiasgrosser
February 16, 2025 02:20 16s
February 16, 2025 02:20 16s
Lean: mark not as a reserved keyword Build matrix #15: Commit 7d8ebbc pushed by tobiasgrosser
February 16, 2025 02:09 7m 6s lean_keyword_not
lean_keyword_not
February 16, 2025 02:09 7m 6s
Lean: mark not as a reserved keyword Test matrix #21: Commit 7d8ebbc pushed by tobiasgrosser
February 16, 2025 02:09 11m 27s lean_keyword_not
lean_keyword_not
February 16, 2025 02:09 11m 27s
Lean: mark not as a reserved keyword Check formatting #21: Commit 7d8ebbc pushed by tobiasgrosser
February 16, 2025 02:09 46s lean_keyword_not
lean_keyword_not
February 16, 2025 02:09 46s
Lean: mark not as a reserved keyword Check formatting #20: Commit bbfbeb7 pushed by tobiasgrosser
February 16, 2025 02:08 35s lean_keyword_not
lean_keyword_not
February 16, 2025 02:08 35s
Lean: mark not as a reserved keyword Test matrix #20: Commit bbfbeb7 pushed by tobiasgrosser
February 16, 2025 02:08 11m 45s lean_keyword_not
lean_keyword_not
February 16, 2025 02:08 11m 45s
Lean: mark not as a reserved keyword Build matrix #14: Commit bbfbeb7 pushed by tobiasgrosser
February 16, 2025 02:08 7m 13s lean_keyword_not
lean_keyword_not
February 16, 2025 02:08 7m 13s
Upload test coverage Upload test coverage #13: completed by tobiasgrosser
February 15, 2025 19:33 3m 16s
February 15, 2025 19:33 3m 16s
Publish test results Publish test results #13: completed by tobiasgrosser
February 15, 2025 19:33 17s
February 15, 2025 19:33 17s
Lean: ignore unused variables Check formatting #19: Commit 1328b4e pushed by tobiasgrosser
February 15, 2025 19:21 45s lean-disable-warnings
lean-disable-warnings
February 15, 2025 19:21 45s
Lean: ignore unused variables Build matrix #13: Commit 1328b4e pushed by tobiasgrosser
February 15, 2025 19:21 7m 10s lean-disable-warnings
lean-disable-warnings
February 15, 2025 19:21 7m 10s
Lean: ignore unused variables Test matrix #19: Commit 1328b4e pushed by tobiasgrosser
February 15, 2025 19:21 12m 6s lean-disable-warnings
lean-disable-warnings
February 15, 2025 19:21 12m 6s
Upload test coverage Upload test coverage #12: completed by tobiasgrosser
February 15, 2025 19:20 3m 35s
February 15, 2025 19:20 3m 35s
Publish test results Publish test results #12: completed by tobiasgrosser
February 15, 2025 19:20 16s
February 15, 2025 19:20 16s
Update src/sail_lean_backend/sail_plugin_lean.ml Check formatting #18: Commit 875c33d pushed by tobiasgrosser
February 15, 2025 19:09 49s lean-disable-warnings
lean-disable-warnings
February 15, 2025 19:09 49s
Update src/sail_lean_backend/sail_plugin_lean.ml Test matrix #18: Commit 875c33d pushed by tobiasgrosser
February 15, 2025 19:09 11m 42s lean-disable-warnings
lean-disable-warnings
February 15, 2025 19:09 11m 42s
Update src/sail_lean_backend/sail_plugin_lean.ml Build matrix #12: Commit 875c33d pushed by tobiasgrosser
February 15, 2025 19:09 7m 19s lean-disable-warnings
lean-disable-warnings
February 15, 2025 19:09 7m 19s
Upload test coverage Upload test coverage #11: completed by tobiasgrosser
February 15, 2025 14:26 3m 23s
February 15, 2025 14:26 3m 23s
Publish test results Publish test results #11: completed by tobiasgrosser
February 15, 2025 14:26 22s
February 15, 2025 14:26 22s
Upload test coverage Upload test coverage #10: completed by tobiasgrosser
February 15, 2025 14:25 3m 27s
February 15, 2025 14:25 3m 27s
Publish test results Publish test results #10: completed by tobiasgrosser
February 15, 2025 14:25 14s
February 15, 2025 14:25 14s
Lean: ignore unused variables Check formatting #17: Commit 037fa78 pushed by tobiasgrosser
February 15, 2025 14:14 34s lean-disable-warnings
lean-disable-warnings
February 15, 2025 14:14 34s