Skip to content

Actions: focs-lab/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3: completed by yisiox
1s
1s
Export workflow telemetry Export workflow telemetry #3: completed by yisiox
Skipped
Skipped
Update and format mem_matches' theorems continuous integration #3: Commit 8139bf2 pushed by yisiox
1s kleenes-algorithm
kleenes-algorithm
1s
Update and format mem_matches' theorems Run pre-commit and in-place update PR on push #3: Commit 8139bf2 pushed by yisiox
31s kleenes-algorithm
kleenes-algorithm
31s
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