Skip to content

Actions: hjvromen/lewis-common-knowledge-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

major changes Build with Mathlib Cache #3: Commit 78f06d6 pushed by hjvromen
2m 3s main
main
2m 3s
major changes Build with Mathlib Cache #2: Commit cb5da77 pushed by hjvromen
2m 5s main
main
2m 5s
workflow added Build with Mathlib Cache #1: Commit 0a071d4 pushed by hjvromen
2m 13s main
main
2m 13s
update project structure Lean Action CI #16: Commit 11c67fc pushed by hjvromen
2m 18s main
main
2m 18s
file Sillari_refutation rewritten with better counterexamples Lean Action CI #15: Commit 279e7f3 pushed by hjvromen
2m 15s main
main
2m 15s
minor changes Lean Action CI #14: Commit 4e9e741 pushed by hjvromen
2m 11s main
main
2m 11s
minor updates Lean Action CI #13: Commit 061d8e8 pushed by hjvromen
1m 55s main
main
1m 55s
readme.md updated Lean Action CI #12: Commit fac952e pushed by hjvromen
1m 55s main
main
1m 55s
update reame.md with DOI Lean Action CI #11: Commit fa52e7f pushed by hjvromen
2m 15s main
main
2m 15s
Update documentation structure Lean Action CI #10: Commit 04d5fd4 pushed by hjvromen
2m 12s v1.0.1
v1.0.1
2m 12s
Update documentation structure Lean Action CI #9: Commit 04d5fd4 pushed by hjvromen
2m 9s main
main
2m 9s
Update documentation structure Lean Action CI #8: Commit 338e0e5 pushed by hjvromen
2m 10s v1.0.0
v1.0.0
2m 10s
Update documentation structure Lean Action CI #7: Commit 338e0e5 pushed by hjvromen
1m 57s main
main
1m 57s
Update documentation structure Lean Action CI #6: Commit dd11e80 pushed by hjvromen
1m 51s main
main
1m 51s
Switch to official Mathlib repository for reproducibility Lean Action CI #5: Commit 8535dda pushed by hjvromen
1m 57s main
main
1m 57s