Skip to content

Actions: formalproofs/MDPLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
100 workflow runs
100 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
Merge pull request #19 from formalproofs/merge-histories Compile blueprint #20: Commit 18d52ca pushed by marekpetrik
16m 46s main
main
16m 46s
added blueprint file content Compile blueprint #19: Commit ca584ac pushed by marekpetrik
13m 31s main
main
13m 31s
Merge pull request #11 from leonleeYSJ/Li Compile blueprint #18: Commit 17d075b pushed by marekpetrik
1m 43s main
main
1m 43s
Merge pull request #15 from maeveburwell/patch-1 Compile blueprint #17: Commit 5130b3c pushed by marekpetrik
19m 8s main
main
19m 8s
updated dependencies Compile blueprint #16: Commit de02562 pushed by marekpetrik
17m 31s main
main
17m 31s
updated toolchain Compile blueprint #15: Commit bcf27c5 pushed by marekpetrik
1m 48s main
main
1m 48s
fixed a link Compile blueprint #14: Commit ac8a1c8 pushed by marekpetrik
8m 58s main
main
8m 58s
fixed a link Lean Action CI #30: Commit ac8a1c8 pushed by marekpetrik
1m 23s main
main
1m 23s
small cleanup and an attempt to fix the problem with the style Lean Action CI #29: Commit 585d05e pushed by marekpetrik
1m 35s main
main
1m 35s
small cleanup and an attempt to fix the problem with the style Compile blueprint #13: Commit 585d05e pushed by marekpetrik
10m 0s main
main
10m 0s
Merge branch 'main' of github.com:formalproofs/probability Lean Action CI #28: Commit f87c14c pushed by marekpetrik
2m 3s main
main
2m 3s
Merge branch 'main' of github.com:formalproofs/probability Compile blueprint #12: Commit f87c14c pushed by marekpetrik
17m 57s main
main
17m 57s
Modify Indicator Lean Action CI #27: Pull request #2 synchronize by marekpetrik
1m 34s keithbadger:main
keithbadger:main
1m 34s
Merge pull request #7 from maeveburwell/main Compile blueprint #11: Commit 0180696 pushed by marekpetrik
11m 24s main
main
11m 24s
Merge pull request #7 from maeveburwell/main Lean Action CI #26: Commit 0180696 pushed by marekpetrik
1m 32s main
main
1m 32s
Merge pull request #8 from Oscar11218/main Compile blueprint #10: Commit 8c453f9 pushed by marekpetrik
54s main
main
54s
Merge pull request #8 from Oscar11218/main Lean Action CI #25: Commit 8c453f9 pushed by marekpetrik
2m 16s main
main
2m 16s
Merge pull request #4 from zero-stroke/main Compile blueprint #9: Commit 583b8a8 pushed by marekpetrik
5m 39s main
main
5m 39s
Merge pull request #4 from zero-stroke/main Lean Action CI #24: Commit 583b8a8 pushed by marekpetrik
1m 33s main
main
1m 33s
add .gitignore to the repository Lean Action CI #23: Pull request #4 synchronize by marekpetrik
1m 33s zero-stroke:main
zero-stroke:main
1m 33s
Merge pull request #5 from emily-chandran/main Lean Action CI #22: Commit 361f6dc pushed by marekpetrik
1m 44s main
main
1m 44s
Merge pull request #5 from emily-chandran/main Compile blueprint #8: Commit 361f6dc pushed by marekpetrik
4m 42s main
main
4m 42s
Just trying Lean Action CI #21: Pull request #8 opened by Oscar11218
1m 46s Oscar11218:main
Oscar11218:main
1m 46s
removed theorem nonempty_length_gt_one Lean Action CI #20: Pull request #5 synchronize by emily-chandran
1m 32s emily-chandran:main
emily-chandran:main
1m 32s
Add comment to Probability/Basic.lean Lean Action CI #19: Pull request #7 opened by maeveburwell
1m 59s maeveburwell:main
maeveburwell:main
1m 59s