Skip to content

Actions: Aeacu2/Automata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 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
new data structure for NFA Lean Action CI #53: Commit 8b5fb2d pushed by Aeacu2
1m 49s master
master
1m 49s
data structure optimization, new experiments with demos Lean Action CI #52: Commit f25fe0c pushed by Aeacu2
2m 5s master
master
2m 5s
lean update Lean Action CI #51: Commit b08e6a0 pushed by Aeacu2
2m 2s master
master
2m 2s
before update Lean Action CI #50: Commit 51b5668 pushed by Aeacu2
1m 15s master
master
1m 15s
small fixes Lean Action CI #49: Commit 2d04632 pushed by Aeacu2
1m 12s master
master
1m 12s
new projection Lean Action CI #48: Commit bebf550 pushed by Aeacu2
1m 15s master
master
1m 15s
demo fix asl Lean Action CI #47: Commit 0e9e6b3 pushed by Aeacu2
1m 13s master
master
1m 13s
completed demo Lean Action CI #46: Commit 4051e89 pushed by Aeacu2
1m 30s master
master
1m 30s
demo Lean Action CI #45: Commit 25f04a0 pushed by Aeacu2
1m 36s master
master
1m 36s
Merge branch 'master' of https://github.com/Aeacu2/Automata Lean Action CI #44: Commit d587255 pushed by Aeacu2
1m 9s master
master
1m 9s
Add LICENSE Lean Action CI #43: Commit 5c5ec52 pushed by Aeacu2
1m 56s master
master
1m 56s
clean repo, add readme Lean Action CI #42: Commit d5c6170 pushed by Aeacu2
2m 3s master
master
2m 3s
fix fin Lean Action CI #41: Commit 2aad1b3 pushed by Aeacu2
2m 58s master
master
2m 58s
fix basic Lean Action CI #40: Commit 37b38bd pushed by Aeacu2
2m 49s master
master
2m 49s
projection complete Lean Action CI #39: Commit 889b780 pushed by Aeacu2
2m 40s master
master
2m 40s
half project donegit push origin mastergit push origin master! Lean Action CI #38: Commit c7a8df3 pushed by Aeacu2
2m 25s master
master
2m 25s
projection_struggle Lean Action CI #37: Commit cca82c8 pushed by Aeacu2
2m 19s master
master
2m 19s
last push Lean Action CI #36: Commit d9b9cd8 pushed by Aeacu2
2m 5s master
master
2m 5s
input_new.lean Lean Action CI #35: Commit 4d470c1 pushed by Aeacu2
2m 7s master
master
2m 7s