Skip to content

Actions: nahcnuj/tibi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Functions Lean Action CI #45: Pull request #7 synchronize by nahcnuj
22s variable
variable
22s
fix lam,app Lean Action CI #44: Commit 4fcfb76 pushed by nahcnuj
30s variable
variable
30s
fix lam,app Run TODO to Issue #4: Commit 4fcfb76 pushed by nahcnuj
22s variable
variable
22s
Functions Lean Action CI #43: Pull request #7 opened by nahcnuj
21s variable
variable
21s
fix Run TODO to Issue #3: Commit 73ef413 pushed by nahcnuj
16s variable
variable
16s
fix Lean Action CI #42: Commit 73ef413 pushed by nahcnuj
19s variable
variable
19s
enable URL insertion and closing TODOs Lean Action CI #41: Commit 0c8fdff pushed by nahcnuj
25s variable
variable
25s
enable URL insertion and closing TODOs Run TODO to Issue #2: Commit 0c8fdff pushed by nahcnuj
22s variable
variable
22s
add todos Lean Action CI #40: Commit 58ea612 pushed by nahcnuj
30s variable
variable
30s
add todos Run TODO to Issue #1: Commit 58ea612 pushed by nahcnuj
22s variable
variable
22s
refactoring Lean Action CI #39: Commit e22c88f pushed by nahcnuj
19s variable
variable
19s
fold Unit results Lean Action CI #38: Commit f8db994 pushed by nahcnuj
21s variable
variable
21s
lam,app Lean Action CI #37: Commit b2e47cd pushed by nahcnuj
23s variable
variable
23s
prove semantic consistency between Tibi interpreter and compiled Wasm… Lean Action CI #36: Commit a3d6320 pushed by nahcnuj
18s main
main
18s
prove type safety Lean Action CI #35: Commit ca567fe pushed by nahcnuj
19s main
main
19s
validate boundary of integer after parsing Lean Action CI #34: Commit 5cead89 pushed by nahcnuj
19s main
main
19s
accept integers Lean Action CI #33: Commit 0457313 pushed by nahcnuj
26s main
main
26s
fix Lean Action CI #32: Commit 0625c62 pushed by nahcnuj
25s main
main
25s
fix Lean Action CI #31: Commit 985f9f6 pushed by nahcnuj
18s main
main
18s
add description Lean Action CI #30: Commit 7acd069 pushed by nahcnuj
16s main
main
16s
add description Lean Action CI #29: Commit be6efbc pushed by nahcnuj
18s main
main
18s
replace List.join with List.flatten due to deprecation Lean Action CI #28: Commit 1b43bdb pushed by nahcnuj
20s main
main
20s
Update Lean to 4.14.0 Lean Action CI #27: Pull request #2 opened by nahcnuj
22s lean-4.14.0
lean-4.14.0
22s
replace List.join with List.flatten due to deprecation Lean Action CI #26: Commit 350d605 pushed by nahcnuj
23s lean-4.14.0
lean-4.14.0
23s
refactoring Lean Action CI #25: Commit c8bec4a pushed by nahcnuj
26s main
main
26s