Skip to content

Actions: AxiomMath/AgreeToDisagree

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean.yml
7 workflow runs
7 workflow runs

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
build: Add output glob to Lakefile Lean Action CI #7: Commit 22f70ed pushed by vEnhance
3m 38s main
main
3m 38s
docs: put a Files section Lean Action CI #6: Commit f91009a pushed by vEnhance
3m 0s main
main
3m 0s
restructure & add manually cleaned version Lean Action CI #5: Commit e0c6e61 pushed by peabrainiac
3m 29s main
main
3m 29s
docs: specify Lean version Lean Action CI #4: Commit 3f37d01 pushed by vEnhance
2m 58s main
main
2m 58s
docs: link paper and add maintainer list Lean Action CI #3: Commit 6c10cea pushed by vEnhance
2m 52s main
main
2m 52s
add files for common p-belief version Lean Action CI #2: Commit ac58a23 pushed by peabrainiac
13m 20s main
main
13m 20s
init Lean Action CI #1: Commit 6c4e4ed pushed by jjaassoonn
3m 51s main
main
3m 51s