Skip to content

Actions: fweth/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #12: completed by fweth
Skipped
Skipped
better simp continuous integration #12: Commit 80d4d69 pushed by fweth
1s topos-definition
topos-definition
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #11: completed by fweth
1s
1s
removed paranthesis continuous integration #11: Commit f73fc00 pushed by fweth
1s topos-definition
topos-definition
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #10: completed by fweth
1s
1s
removed epsilon continuous integration #10: Commit 4163ad1 pushed by fweth
1s topos-definition
topos-definition
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9: completed by fweth
Skipped
Skipped
removed import continuous integration #9: Commit ad08b34 pushed by fweth
1s topos-definition
topos-definition
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8: completed by fweth
1s
1s
run exe shake --fix continuous integration #8: Commit 8d8b14b pushed by fweth
1s topos-definition
topos-definition
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7: completed by fweth
1s
1s
long file option for commsq.lean continuous integration #7: Commit 745e304 pushed by fweth
2s topos-definition
topos-definition
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #6: completed by fweth
Skipped
Skipped
docstring continuous integration #6: Commit 5e60c9f pushed by fweth
1s topos-definition
topos-definition
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5: completed by fweth
1s
1s
docstring continuous integration #5: Commit be0fc2c pushed by fweth
2s topos-definition
topos-definition
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4: completed by fweth
2s
2s
remvoe deleted file from index continuous integration #4: Commit aca31e3 pushed by fweth
1s topos-definition
topos-definition
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3: completed by fweth
Skipped
Skipped
fixed subobject/basic.lean continuous integration #3: Commit 603d009 pushed by fweth
1s topos-definition
topos-definition
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2: completed by fweth
1s
1s
update lean version and fix compose lemma continuous integration #2: Commit ff37bad pushed by fweth
1s topos-definition
topos-definition
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1: completed by fweth
1s
1s
resolved conflicts with upstream continuous integration #1: Commit 64da406 pushed by fweth
1s topos-definition
topos-definition
1s
resolved conflicts with upstream Autolabel PRs #1: Commit 64da406 pushed by fweth
1s topos-definition
topos-definition
1s