Skip to content

Actions: jam-khan/Flex

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
413 workflow runs
413 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
Merge pull request #72 from jam-khan/unreachable-expr Lean Action CI #413: Commit 6bc56e2 pushed by petros-marko
58s main
main
58s
Add unreachable in the STLC language Lean Action CI #412: Pull request #72 synchronize by petros-marko
46s unreachable-expr
unreachable-expr
46s
Merge branch 'main' into unreachable-expr Lean Action CI #411: Commit fd15556 pushed by petros-marko
47s unreachable-expr
unreachable-expr
47s
Refactor constraints to syntactic form (Cstr) (#70) Lean Action CI #410: Commit c937558 pushed by nilehmann
51s main
main
51s
Add unreachable in the STLC language Lean Action CI #409: Pull request #72 synchronize by petros-marko
50s unreachable-expr
unreachable-expr
50s
add and use notation for unreachable Lean Action CI #408: Commit 99c5e9b pushed by petros-marko
47s unreachable-expr
unreachable-expr
47s
Add unreachable in the STLC language Lean Action CI #407: Pull request #72 opened by petros-marko
57s unreachable-expr
unreachable-expr
57s
add unreachable in the stlc language Lean Action CI #406: Commit 9c7976f pushed by petros-marko
1m 4s unreachable-expr
unreachable-expr
1m 4s
Update README.md Lean Action CI #405: Commit 6c6d6f9 pushed by jam-khan
25s main
main
25s
Artifact Lean Action CI #404: Pull request #69 synchronize by jam-khan
58s artifact-27
artifact-27
58s
Merge pull request #71 from jam-khan/push-moqvlmkvsvlt Lean Action CI #403: Commit e4ef81f pushed by jam-khan
1m 4s artifact-27
artifact-27
1m 4s
Make cstrs deeply embedded + fix notation to work with kvars Lean Action CI #402: Pull request #71 opened by nilehmann
1m 4s push-moqvlmkvsvlt
push-moqvlmkvsvlt
1m 4s
Refactor constraints to syntactic form (Cstr) Lean Action CI #401: Pull request #70 synchronize by nilehmann
1m 10s push-moqvlmkvsvlt
push-moqvlmkvsvlt
1m 10s
Make notations carry types Lean Action CI #400: Commit 2e0ecfd pushed by nilehmann
1m 19s push-moqvlmkvsvlt
push-moqvlmkvsvlt
1m 19s
Artifact Lean Action CI #399: Pull request #69 synchronize by jam-khan
57s artifact-27
artifact-27
57s
removed any names Lean Action CI #398: Commit f0e9f31 pushed by jam-khan
51s artifact-27
artifact-27
51s
Refactor constraints to syntactic form (Cstr) Lean Action CI #397: Pull request #70 synchronize by nilehmann
1m 1s push-moqvlmkvsvlt
push-moqvlmkvsvlt
1m 1s
cleanup Lean Action CI #396: Commit 674df79 pushed by nilehmann
1m 6s push-moqvlmkvsvlt
push-moqvlmkvsvlt
1m 6s
Refactor constraints to syntactic form (Cstr) Lean Action CI #395: Pull request #70 synchronize by nilehmann
15m 3s push-moqvlmkvsvlt
push-moqvlmkvsvlt
15m 3s
remove instNu Lean Action CI #394: Commit a80d511 pushed by nilehmann
15m 3s push-moqvlmkvsvlt
push-moqvlmkvsvlt
15m 3s
Refactor constraints to syntactic form (Cstr) Lean Action CI #393: Pull request #70 opened by nilehmann
1m 10s push-moqvlmkvsvlt
push-moqvlmkvsvlt
1m 10s
Refactor constraints to syntactic form (Cstr) Lean Action CI #392: Commit 8e15930 pushed by nilehmann
1m 0s push-moqvlmkvsvlt
push-moqvlmkvsvlt
1m 0s
Artifact Lean Action CI #391: Pull request #69 opened by jam-khan
1m 10s artifact-27
artifact-27
1m 10s
make file + readme Lean Action CI #390: Commit 9a759f3 pushed by jam-khan
37s artifact-27
artifact-27
37s
minor cleanup Lean Action CI #389: Commit 53d3e6b pushed by jam-khan
32s artifact-27
artifact-27
32s