Skip to content

Actions: leanprover-community/ProofWidgets4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2 workflow run results
2 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: typo ci #2: Commit 857a06c pushed by Vtec234
October 12, 2023 16:29 3m 50s main
main
October 12, 2023 16:29 3m 50s
ci: add script and bump toolchain ci #1: Commit 3d14950 pushed by Vtec234
October 12, 2023 16:27 Failure main
main
October 12, 2023 16:27 Failure