Skip to content

Actions: mtoohey31/lott

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

finish SystemF example Build #16: Commit 5fb5bd3 pushed by mtoohey31
October 23, 2024 03:18 1m 45s main
main
October 23, 2024 03:18 1m 45s
fix Type'_open_preservation ih to use environment substitution in Sys… Build #15: Commit e2cd495 pushed by mtoohey31
October 20, 2024 13:18 1m 38s main
main
October 20, 2024 13:18 1m 38s
mostly complete locally nameless support Build #14: Commit 13fd2a1 pushed by mtoohey31
October 19, 2024 02:01 1m 26s main
main
October 19, 2024 02:01 1m 26s
mostly complete locally nameless support Build #13: Commit ca744f9 pushed by mtoohey31
October 19, 2024 01:52 1m 27s main
main
October 19, 2024 01:52 1m 27s
simplify Range.toList and add theorems Build #12: Commit fce650d pushed by mtoohey31
October 6, 2024 04:36 1m 13s main
main
October 6, 2024 04:36 1m 13s
simple sepBy substitutions Build #11: Commit 1af5f64 pushed by mtoohey31
October 2, 2024 23:08 1m 25s main
main
October 2, 2024 23:08 1m 25s
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