Skip to content

Actions: flatsurf/veerer

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
586 workflow runs
586 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

implement geometric automaton
Documentation #46: Pull request #15 synchronize by videlec
July 20, 2023 08:39 3m 50s videlec:geometric-automaton
July 20, 2023 08:39 3m 50s
implement geometric automaton
Test #45: Pull request #15 synchronize by videlec
July 18, 2023 15:01 3m 23s videlec:geometric-automaton
July 18, 2023 15:01 3m 23s
implement geometric automaton
Documentation #45: Pull request #15 synchronize by videlec
July 18, 2023 15:01 3m 55s videlec:geometric-automaton
July 18, 2023 15:01 3m 55s
implement geometric automaton
Documentation #44: Pull request #15 synchronize by videlec
July 18, 2023 13:56 3m 54s videlec:geometric-automaton
July 18, 2023 13:56 3m 54s
implement geometric automaton
Test #44: Pull request #15 synchronize by videlec
July 18, 2023 13:56 4m 34s videlec:geometric-automaton
July 18, 2023 13:56 4m 34s
implement geometric automaton
Documentation #43: Pull request #15 opened by videlec
July 18, 2023 11:48 3m 36s videlec:geometric-automaton
July 18, 2023 11:48 3m 36s
implement geometric automaton
Test #43: Pull request #15 opened by videlec
July 18, 2023 11:48 3m 48s videlec:geometric-automaton
July 18, 2023 11:48 3m 48s
Merge pull request #14 from videlec/automata
Documentation #42: Commit 960a18f pushed by videlec
July 18, 2023 10:58 3m 28s master
July 18, 2023 10:58 3m 28s
Merge pull request #14 from videlec/automata
Test #42: Commit 960a18f pushed by videlec
July 18, 2023 10:58 3m 23s master
July 18, 2023 10:58 3m 23s
Refactor automaton construction
Documentation #41: Pull request #14 opened by videlec
July 18, 2023 10:49 4m 7s videlec:automata
July 18, 2023 10:49 4m 7s
Refactor automaton construction
Test #41: Pull request #14 opened by videlec
July 18, 2023 10:49 3m 21s videlec:automata
July 18, 2023 10:49 3m 21s
ProTip! You can narrow down the results and go further in time using created:<2023-07-18 or the other filters available.