Skip to content

Actions: AmosNico/validator

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
102 workflow runs
102 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
Bump to v4.32.0 with tempory fix for ResultProp Lean Action CI #89: Commit a780769 pushed by AmosNico
21m 10s main
main
21m 10s
Bump to v4.32.0 with tempory fix for ResultProp Create Release #7: Commit a780769 pushed by AmosNico
9s main
main
9s
Write python script to rewite test cases from helve Lean Action CI #88: Commit 082ecc1 pushed by AmosNico
4m 59s test
test
4m 59s
Bump to new parser in bdd library, rework Certificate.verifyAll, fix … Lean Action CI #87: Commit f2be7fa pushed by AmosNico
5m 33s main
main
5m 33s
Bump to new parser in bdd library, rework Certificate.verifyAll, fix … Lean Action CI #86: Commit f2be7fa pushed by AmosNico
3m 45s Bdd-parser
Bdd-parser
3m 45s
Bump to new parser in bdd library, rework Certificate.verifyAll, fix … Lean Action CI #85: Commit ab73e6c pushed by AmosNico
5m 24s Bdd-parser
Bdd-parser
5m 24s
Write python script to rewite test cases from helve Lean Action CI #84: Commit aabde10 pushed by AmosNico
12m 49s test
test
12m 49s
Write python script to rewite test cases from helve Lean Action CI #83: Commit 2234a48 pushed by AmosNico
3m 33s test
test
3m 33s
Write python script to rewite test cases from helve Lean Action CI #82: Commit 1185f44 pushed by AmosNico
5m 58s test
test
5m 58s
Rework error messages, add documentation, and clean up certificate pa… Lean Action CI #81: Commit 0d788b2 pushed by AmosNico
5m 4s Bdd-parser
Bdd-parser
5m 4s
WIP tests Lean Action CI #80: Commit 0790f59 pushed by AmosNico
5m 23s test
test
5m 23s
WIP tests Lean Action CI #79: Commit 6eb511d pushed by AmosNico
5m 12s test
test
5m 12s
Bump to new version of STRIPS library Lean Action CI #78: Commit e6fa131 pushed by AmosNico
5m 16s main
main
5m 16s
Rework error messages, add documentation, and clean up certificate pa… Lean Action CI #77: Commit 28f8c1b pushed by AmosNico
4m 51s Bdd-parser
Bdd-parser
4m 51s
WIP : error types Lean Action CI #76: Commit 35b4e86 pushed by AmosNico
5m 29s Bdd-parser
Bdd-parser
5m 29s
change options in lakefile, rename definitions to match mathlib conve… Lean Action CI #75: Commit 175b016 pushed by AmosNico
5m 18s Bdd-parser
Bdd-parser
5m 18s
Add parser for Bdds Lean Action CI #74: Commit 6e5012d pushed by AmosNico
5m 15s Bdd-parser
Bdd-parser
5m 15s
WIP Lean Action CI #73: Commit cbeb987 pushed by AmosNico
4m 59s Bdd-parser
Bdd-parser
4m 59s
Rework formatting of Error Lean Action CI #72: Commit 38ab587 pushed by AmosNico
5m 5s Bdd-parser
Bdd-parser
5m 5s
Rework formatting of Error Lean Action CI #71: Commit d44538c pushed by AmosNico
5m 20s Bdd-parser
Bdd-parser
5m 20s
WIP Lean Action CI #70: Commit 3d685c2 pushed by AmosNico
5m 17s Bdd-parser-old
Bdd-parser-old
5m 17s
WIP Lean Action CI #69: Commit 3d685c2 pushed by AmosNico
5m 51s Bdd-parser
Bdd-parser
5m 51s
Bump to new version of STRIPS library Lean Action CI #68: Commit e6fa131 pushed by AmosNico
5m 9s migrate-strips
migrate-strips
5m 9s
WIP Lean Action CI #67: Commit 01ebb6a pushed by AmosNico
47s Bdd-parser
Bdd-parser
47s
Bump to new version of STRIPS library Lean Action CI #66: Commit 01252f2 pushed by AmosNico
5m 13s migrate-strips
migrate-strips
5m 13s