Skip to content

Actions: navimath/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
52 workflow runs
52 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
non aligned types set to Type 0 and disabled header warnings on gener… .github/workflows/ocaml.yml #21: Commit fbfc790 pushed by navimath
4m 29s lean
lean
4m 29s
non aligned types set to Type 0 and disabled header warnings on gener… .github/workflows/main.yml #21: Commit fbfc790 pushed by navimath
7m 51s lean
lean
7m 51s
fix #assume (#1442) .github/workflows/vscode.yml #5: Commit b5ec511 pushed by navimath
42s master
master
42s
fix #assume (#1442) .github/workflows/emacs.yml #5: Commit b5ec511 pushed by navimath
1m 18s master
master
1m 18s
fix #assume (#1442) .github/workflows/ocaml.yml #20: Commit b5ec511 pushed by navimath
8m 58s master
master
8m 58s
fix #assume (#1442) .github/workflows/main.yml #20: Commit b5ec511 pushed by navimath
13m 7s master
master
13m 7s
Merge remote-tracking branch 'dk/master' into lean-ivan .github/workflows/vscode.yml #4: Commit 6af3657 pushed by navimath
1m 8s lean-ivan
lean-ivan
1m 8s
Merge remote-tracking branch 'dk/master' into lean-ivan .github/workflows/ocaml.yml #19: Commit 6af3657 pushed by navimath
4m 56s lean-ivan
lean-ivan
4m 56s
Merge remote-tracking branch 'dk/master' into lean-ivan .github/workflows/main.yml #19: Commit 6af3657 pushed by navimath
5m 17s lean-ivan
lean-ivan
5m 17s
Merge remote-tracking branch 'dk/master' into lean-ivan .github/workflows/emacs.yml #4: Commit 6af3657 pushed by navimath
51s lean-ivan
lean-ivan
51s
wip .github/workflows/ocaml.yml #18: Commit d669d88 pushed by navimath
4m 32s lean-ivan
lean-ivan
4m 32s
wip .github/workflows/main.yml #18: Commit d669d88 pushed by navimath
8m 31s lean-ivan
lean-ivan
8m 31s
added set_option to avoid header warning on .github/workflows/ocaml.yml #17: Commit 9f119b5 pushed by navimath
4m 43s lean-ivan
lean-ivan
4m 43s
added set_option to avoid header warning on .github/workflows/main.yml #17: Commit 9f119b5 pushed by navimath
11s lean-ivan
lean-ivan
11s
pass sanity checks .github/workflows/ocaml.yml #16: Commit b624685 pushed by navimath
4m 32s lean-ivan
lean-ivan
4m 32s
pass sanity checks .github/workflows/main.yml #16: Commit b624685 pushed by navimath
6m 3s lean-ivan
lean-ivan
6m 3s
fix to export_types .github/workflows/main.yml #15: Commit d1083c3 pushed by navimath
9s lean-ivan
lean-ivan
9s
fix to export_types .github/workflows/ocaml.yml #15: Commit d1083c3 pushed by navimath
4m 29s lean-ivan
lean-ivan
4m 29s
improvement to export_types (need to optimize) .github/workflows/ocaml.yml #14: Commit 3125694 pushed by navimath
4m 31s lean-ivan
lean-ivan
4m 31s
improvement to export_types (need to optimize) .github/workflows/main.yml #14: Commit 3125694 pushed by navimath
11s lean-ivan
lean-ivan
11s
exported types now are of Type 0 and added .github/workflows/main.yml #13: Commit 823bc28 pushed by navimath
9s lean-ivan
lean-ivan
9s
exported types now are of Type 0 and added .github/workflows/ocaml.yml #13: Commit 823bc28 pushed by navimath
4m 35s lean-ivan
lean-ivan
4m 35s
Merge remote-tracking branch 'fb/master' into lean-ivan .github/workflows/ocaml.yml #12: Commit 77316d4 pushed by navimath
6m 19s lean-ivan
lean-ivan
6m 19s
Merge remote-tracking branch 'fb/master' into lean-ivan .github/workflows/main.yml #12: Commit 77316d4 pushed by navimath
13m 11s lean-ivan
lean-ivan
13m 11s
Merge remote-tracking branch 'fb/master' into lean-ivan .github/workflows/vscode.yml #3: Commit 77316d4 pushed by navimath
1m 9s lean-ivan
lean-ivan
1m 9s