Skip to content

Actions: mtoohey31/lott

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

include relevant list proof Build #10: Commit 3490561 pushed by mtoohey31
September 27, 2024 13:18 1m 14s main
main
September 27, 2024 13:18 1m 14s
modify child is- functions to allow postfix application to parents Build #9: Commit 0537fbf pushed by mtoohey31
September 23, 2024 23:41 1m 14s main
main
September 23, 2024 23:41 1m 14s
replace subrule syntax with parent option for nonterminals Build #8: Commit 6d36d0d pushed by mtoohey31
September 23, 2024 23:15 1m 29s main
main
September 23, 2024 23:15 1m 29s
non-Fin comprehensions and Nat fixes Build #7: Commit c1bacec pushed by mtoohey31
September 19, 2024 04:06 1m 10s main
main
September 19, 2024 04:06 1m 10s
non-Fin comprehensions Nat fixes Build #6: Commit 8d7c9e4 pushed by mtoohey31
September 19, 2024 03:09 1m 15s main
main
September 19, 2024 03:09 1m 15s
add build workflow Build #5: Commit b0712eb pushed by mtoohey31
September 19, 2024 01:27 1m 10s main
main
September 19, 2024 01:27 1m 10s
add build workflow Build #4: Commit a05cd6f pushed by mtoohey31
September 19, 2024 01:26 Startup failure main
main
September 19, 2024 01:26 Startup failure
add build workflow Build #3: Commit d80878c pushed by mtoohey31
September 19, 2024 01:26 1s main
main
September 19, 2024 01:26 1s
add build workflow Build #2: Commit 0da8e3b pushed by mtoohey31
September 19, 2024 01:25 1m 18s main
main
September 19, 2024 01:25 1m 18s
add build workflow Build #1: Commit 1ffa542 pushed by mtoohey31
September 19, 2024 01:23 12s main
main
September 19, 2024 01:23 12s