Skip to content

Actions: focs-lab/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Export workflow telemetry Export workflow telemetry #2: completed by yisiox
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2: completed by yisiox
1s
1s
Fix broken set membership proof continuous integration #2: Commit 169fa69 pushed by yisiox
1s kleenes-algorithm
kleenes-algorithm
1s
Fix broken set membership proof Run pre-commit and in-place update PR on push #2: Commit 169fa69 pushed by yisiox
29s kleenes-algorithm
kleenes-algorithm
29s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1: completed by yisiox
2s
2s
Export workflow telemetry Export workflow telemetry #1: completed by yisiox
1s
1s
Merge branch 'master' into kleenes-algorithm continuous integration #1: Commit c842c7d pushed by yisiox
2s kleenes-algorithm
kleenes-algorithm
2s
Merge branch 'master' into kleenes-algorithm Run pre-commit and in-place update PR on push #1: Commit c842c7d pushed by yisiox
33s kleenes-algorithm
kleenes-algorithm
33s
Merge branch 'master' into kleenes-algorithm Autolabel PRs #1: Commit c842c7d pushed by yisiox
1s kleenes-algorithm
kleenes-algorithm
1s