Skip to content

Actions: fblanqui/lambdapi

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
185 workflow runs
185 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge remote-tracking branch 'dk/master' into db .github/workflows/main.yml #1119: Commit 4f260a9 pushed by fblanqui
April 23, 2024 17:21 9m 27s db
db
April 23, 2024 17:21 9m 27s
coq export: do not fail, only warn when a command is not translated +… .github/workflows/main.yml #1118: Commit cc2e8ba pushed by fblanqui
April 23, 2024 17:20 9m 27s master
master
April 23, 2024 17:20 9m 27s
coq export: do not fail, only warn when a command is not translated +… .github/workflows/main.yml #1117: Commit 30fe6b9 pushed by fblanqui
April 23, 2024 16:50 9m 5s coq
coq
April 23, 2024 16:50 9m 5s
Fix issue #1001 (#1087) .github/workflows/main.yml #1116: Commit 51263d6 pushed by fblanqui
April 23, 2024 10:15 8m 11s master
master
April 23, 2024 10:15 8m 11s
rawdk export: fix type of AC symbols .github/workflows/main.yml #1115: Commit 3ed096b pushed by fblanqui
April 23, 2024 09:16 9m 2s rawdk
rawdk
April 23, 2024 09:16 9m 2s
fix rawdk export of AC symbols .github/workflows/main.yml #1114: Commit 533fc52 pushed by fblanqui
April 22, 2024 20:40 8m 16s rawdk
rawdk
April 22, 2024 20:40 8m 16s
remove ocaml warning about unix (#1085) .github/workflows/main.yml #1113: Commit 37c5b9c pushed by fblanqui
April 18, 2024 15:59 10m 16s master
master
April 18, 2024 15:59 10m 16s
remove ocaml warning about unix .github/workflows/main.yml #1112: Commit 332a221 pushed by fblanqui
April 18, 2024 15:41 8m 3s dune
dune
April 18, 2024 15:41 8m 3s
update editors/vscode/INSTALL.md .github/workflows/main.yml #1111: Commit c0ee174 pushed by fblanqui
April 18, 2024 14:28 7m 55s master
master
April 18, 2024 14:28 7m 55s
Fix colors in terminal (#1080) .github/workflows/main.yml #1110: Commit bd9a2d8 pushed by fblanqui
April 12, 2024 15:12 7m 56s master
master
April 12, 2024 15:12 7m 56s
coq export: use Printf instead of Format (#1079) .github/workflows/main.yml #1109: Commit 01921e0 pushed by fblanqui
April 10, 2024 05:50 7m 55s master
master
April 10, 2024 05:50 7m 55s
wip .github/workflows/main.yml #1108: Commit da35d28 pushed by fblanqui
April 9, 2024 19:41 8m 7s coq
coq
April 9, 2024 19:41 8m 7s
coq export: use Printf instead of Format .github/workflows/main.yml #1107: Commit b1aa32e pushed by fblanqui
April 9, 2024 19:15 8m 29s coq
coq
April 9, 2024 19:15 8m 29s
Fix/logs when missing pkg (#1075) .github/workflows/main.yml #1106: Commit f9689ac pushed by fblanqui
April 5, 2024 09:15 8m 24s master
master
April 5, 2024 09:15 8m 24s
coq: export (opaque) definition as (opaque) Definition instead of as … .github/workflows/main.yml #1105: Commit e1e0eae pushed by fblanqui
April 4, 2024 09:50 8m 0s coq
coq
April 4, 2024 09:50 8m 0s
fix issue#638 : show log message when symbol is defined (#1070) .github/workflows/main.yml #1104: Commit ef44a7c pushed by fblanqui
March 30, 2024 11:42 8m 3s master
master
March 30, 2024 11:42 8m 3s
Merge remote-tracking branch 'dk/master' into db .github/workflows/main.yml #1103: Commit 641a46c pushed by fblanqui
March 29, 2024 12:42 8m 50s db
db
March 29, 2024 12:42 8m 50s
make sanity_check pass (#1072) .github/workflows/main.yml #1102: Commit 9eab1da pushed by fblanqui
March 29, 2024 12:41 12m 16s master
master
March 29, 2024 12:41 12m 16s
make sanity_check pass .github/workflows/main.yml #1101: Commit d43d9e8 pushed by fblanqui
March 29, 2024 12:12 11m 49s sanity
sanity
March 29, 2024 12:12 11m 49s
remove tests related to identifier restrictions due to bindlib .github/workflows/main.yml #1100: Commit 7dd3baa pushed by fblanqui
March 29, 2024 12:05 12m 29s db
db
March 29, 2024 12:05 12m 29s
Merge remote-tracking branch 'dk/master' into db .github/workflows/main.yml #1099: Commit b00961f pushed by fblanqui
March 19, 2024 17:43 9m 42s db
db
March 19, 2024 17:43 9m 42s
Reopen the goals panel if closed when navigating proofs (#1068) .github/workflows/main.yml #1098: Commit abe073d pushed by fblanqui
March 19, 2024 17:43 11m 28s master
master
March 19, 2024 17:43 11m 28s
ci: use ocaml 5.1.1 instead of 5.1.0 (#1064) .github/workflows/main.yml #1097: Commit 9aa06c8 pushed by fblanqui
March 5, 2024 16:40 11m 44s master
master
March 5, 2024 16:40 11m 44s
ci: use ocaml 5.1.1 instead of 5.1.0 .github/workflows/main.yml #1096: Commit 6c50fea pushed by fblanqui
March 5, 2024 14:02 11m 20s ocaml
ocaml
March 5, 2024 14:02 11m 20s
Bump actions/setup-node from 3 to 4 (#1062) .github/workflows/main.yml #1095: Commit b5e46ed pushed by fblanqui
March 4, 2024 18:13 9m 28s master
master
March 4, 2024 18:13 9m 28s