Skip to content

Actions: m4lvin/lean4-pdl

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
683 workflow runs
683 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

work on Lemma 5 *-case CI #10: Commit 1e50eac pushed by m4lvin
October 8, 2023 18:16 1m 50s main
main
October 8, 2023 18:16 1m 50s
generalise Uplus notation for Lists² and Finsets² CI #8: Commit 5f8d1bb pushed by m4lvin
October 8, 2023 13:27 1m 50s main
main
October 8, 2023 13:27 1m 50s
start to clean up Examples file, still broken CI #7: Commit 969877c pushed by m4lvin
October 7, 2023 12:01 2m 2s main
main
October 7, 2023 12:01 2m 2s
Lemma 4 ; and ∪ cases done (but proofs should be shortened someday) CI #6: Commit 76e9d58 pushed by m4lvin
October 7, 2023 11:26 2m 10s main
main
October 7, 2023 11:26 2m 10s
working on ;-case of Lemma 4 CI #5: Commit 93fac9d pushed by m4lvin
October 7, 2023 09:05 1m 44s main
main
October 7, 2023 09:05 1m 44s
inductive localRule; seems no additional IH needed in Lemma4 ;-case CI #4: Commit be8c347 pushed by m4lvin
October 6, 2023 23:06 1m 44s main
main
October 6, 2023 23:06 1m 44s
small step in Lemma 4 CI #3: Commit 2f9bd36 pushed by m4lvin
October 6, 2023 11:21 1m 49s main
main
October 6, 2023 11:21 1m 49s
add CI CI #2: Commit dbb0fde pushed by m4lvin
October 6, 2023 10:14 1m 42s main
main
October 6, 2023 10:14 1m 42s
ProTip! You can narrow down the results and go further in time using created:<2023-10-06 or the other filters available.