Skip to content

Actions: JuanCoRo/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Export workflow telemetry Export workflow telemetry #1: completed by JuanCoRo
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1: completed by JuanCoRo
1s
1s
Zulip emoji CI status Zulip emoji CI status #2: completed by JuanCoRo
9s
9s
Zulip emoji CI status Zulip emoji CI status #1: requested by JuanCoRo
2s
2s
Merge branch 'master' into divByMonic-linearity continuous integration #1: Commit ab1a784 pushed by JuanCoRo
1s divByMonic-linearity
divByMonic-linearity
1s
Merge branch 'master' into divByMonic-linearity Run pre-commit and in-place update PR on push #1: Commit ab1a784 pushed by JuanCoRo
33s divByMonic-linearity
divByMonic-linearity
33s