Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: provables/sequencelib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
277 workflow runs
277 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove leftover file Lean Action CI #165: Commit 4976044 pushed by waltermoreira
6h 0m 22s main
main
6h 0m 22s
Update links Lean Action CI #164: Commit 64b0ba5 pushed by waltermoreira
6h 0m 21s main
main
6h 0m 21s
Disable blueprints action Lean Action CI #163: Commit 7c01d4c pushed by waltermoreira
6h 0m 23s main
main
6h 0m 23s
Compile blueprint Compile blueprint #112: Manually run by waltermoreira
1h 19m 16s main
main
1h 19m 16s
Add test Lean Action CI #162: Commit d4d4b20 pushed by waltermoreira
3m 7s main
main
3m 7s
Add test Compile blueprint #111: Commit d4d4b20 pushed by waltermoreira
1h 19m 25s main
main
1h 19m 25s
Add example of GenSeq Lean Action CI #161: Commit 2366c82 pushed by waltermoreira
17s synth
synth
17s
Remove experiments Compile blueprint #110: Commit 02da542 pushed by waltermoreira
1h 22m 51s main
main
1h 22m 51s
Remove experiments Lean Action CI #160: Commit 02da542 pushed by waltermoreira
1m 39s main
main
1m 39s
Add example of GenSeq Compile blueprint #109: Commit 2366c82 pushed by waltermoreira
23s main
main
23s
Add example of GenSeq Lean Action CI #159: Commit 2366c82 pushed by waltermoreira
28s main
main
28s
Add local path dependency to gen-seq Compile blueprint #108: Commit 942fdc1 pushed by waltermoreira
34s main
main
34s
Add local path dependency to gen-seq Lean Action CI #158: Commit 942fdc1 pushed by waltermoreira
23s main
main
23s
Remove experiments Lean Action CI #157: Commit 02da542 pushed by waltermoreira
3m 5s main
main
3m 5s
Remove experiments Compile blueprint #107: Commit 02da542 pushed by waltermoreira
28m 26s main
main
28m 26s
Add imperative Pascal Lean Action CI #156: Commit 3aab48b pushed by waltermoreira
2m 5s main
main
2m 5s
Add imperative Pascal Compile blueprint #106: Commit 3aab48b pushed by waltermoreira
15m 3s main
main
15m 3s
Fix spacing Lean Action CI #155: Commit 5a5b232 pushed by waltermoreira
1m 36s main
main
1m 36s
Fix spacing Compile blueprint #105: Commit 5a5b232 pushed by waltermoreira
15m 19s main
main
15m 19s
Fix comment Lean Action CI #154: Commit fc0b4ad pushed by waltermoreira
1m 42s main
main
1m 42s
Fix comment Compile blueprint #104: Commit fc0b4ad pushed by waltermoreira
2m 13s main
main
2m 13s
Prove equivalence of "imperative" code Compile blueprint #103: Commit 4a00f2d pushed by waltermoreira
16m 55s main
main
16m 55s
Prove equivalence of "imperative" code Lean Action CI #153: Commit 4a00f2d pushed by waltermoreira
1m 58s main
main
1m 58s
Merge branch 'main' of https://github.com/provables/sequencelib Compile blueprint #102: Commit 70742f9 pushed by joestubbs
15m 36s main
main
15m 36s
Merge branch 'main' of https://github.com/provables/sequencelib Lean Action CI #152: Commit 70742f9 pushed by joestubbs
1m 42s main
main
1m 42s