Skip to content

Actions: leanprover-community/ProofWidgets4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
404 workflow runs
404 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump Std; json% has been upstreamed ci #5: Pull request #28 opened by kim-em
October 24, 2023 00:38 3m 11s bump_std
bump_std
October 24, 2023 00:38 3m 11s
chore: bump Std; json% has been upstreamed ci #4: Commit 5382e38 pushed by kim-em
October 24, 2023 00:37 2m 40s bump_std
bump_std
October 24, 2023 00:37 2m 40s
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
ProTip! You can narrow down the results and go further in time using created:<2023-10-12 or the other filters available.