Skip to content

Actions: fweth/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

merge continuous integration #21: Commit 865008d pushed by fweth
1s topos-definition
topos-definition
1s
[pre-commit.ci lite] apply automatic fixes continuous integration #20: Commit a8c7661 pushed by pre-commit-ci-lite bot
1s topos-definition
topos-definition
1s
merge upstream continuous integration #19: Commit 0d314e4 pushed by fweth
1s topos-definition
topos-definition
1s
rename iota to iso continuous integration #18: Commit eaa4cf1 pushed by fweth
2s topos-definition
topos-definition
2s
rw continuous integration #17: Commit aa2be8b pushed by fweth
1s topos-definition
topos-definition
1s
docstring continuous integration #16: Commit 3f42f6d pushed by fweth
2s topos-definition
topos-definition
2s
generalize isoIsPullback_congr lemma continuous integration #15: Commit 4a21ada pushed by fweth
1s topos-definition
topos-definition
1s
delete diff.txt continuous integration #14: Commit b757c24 pushed by fweth
1s topos-definition
topos-definition
1s
better docstring continuous integration #13: Commit 2feb15e pushed by fweth
1s topos-definition
topos-definition
1s
better simp continuous integration #12: Commit 80d4d69 pushed by fweth
1s topos-definition
topos-definition
1s
removed paranthesis continuous integration #11: Commit f73fc00 pushed by fweth
1s topos-definition
topos-definition
1s
removed epsilon continuous integration #10: Commit 4163ad1 pushed by fweth
1s topos-definition
topos-definition
1s
removed import continuous integration #9: Commit ad08b34 pushed by fweth
1s topos-definition
topos-definition
1s
run exe shake --fix continuous integration #8: Commit 8d8b14b pushed by fweth
1s topos-definition
topos-definition
1s
long file option for commsq.lean continuous integration #7: Commit 745e304 pushed by fweth
2s topos-definition
topos-definition
2s
docstring continuous integration #6: Commit 5e60c9f pushed by fweth
1s topos-definition
topos-definition
1s
docstring continuous integration #5: Commit be0fc2c pushed by fweth
2s topos-definition
topos-definition
2s
remvoe deleted file from index continuous integration #4: Commit aca31e3 pushed by fweth
1s topos-definition
topos-definition
1s
fixed subobject/basic.lean continuous integration #3: Commit 603d009 pushed by fweth
1s topos-definition
topos-definition
1s
update lean version and fix compose lemma continuous integration #2: Commit ff37bad pushed by fweth
1s topos-definition
topos-definition
1s
resolved conflicts with upstream continuous integration #1: Commit 64da406 pushed by fweth
1s topos-definition
topos-definition
1s