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

fix README .github/workflows/main.yml #1069: Commit acab0d4 pushed by fblanqui
February 22, 2024 10:05 8m 13s doc
doc
February 22, 2024 10:05 8m 13s
Enforce locally nameless convention (Bruno) .github/workflows/main.yml #1068: Commit 2eb6850 pushed by fblanqui
February 22, 2024 09:55 9m 14s db
db
February 22, 2024 09:55 9m 14s
fix tac_solve (fix #1041) (#1052) .github/workflows/main.yml #1067: Commit 4888196 pushed by fblanqui
February 21, 2024 20:25 7m 56s master
master
February 21, 2024 20:25 7m 56s
fix tac_solve (fix #1041) .github/workflows/main.yml #1066: Commit 957704d pushed by fblanqui
February 21, 2024 19:53 7m 53s tac_solve
tac_solve
February 21, 2024 19:53 7m 53s
do not keep definition of opaque symbols only (fix #1035) (#1051) .github/workflows/main.yml #1065: Commit 7dab185 pushed by fblanqui
February 21, 2024 15:39 8m 2s master
master
February 21, 2024 15:39 8m 2s
do not keep definition of opaque symbols only (fix #1035) .github/workflows/main.yml #1064: Commit 10ce914 pushed by fblanqui
February 21, 2024 15:26 11m 38s prv
prv
February 21, 2024 15:26 11m 38s
Enforce locally nameless convention .github/workflows/main.yml #1063: Pull request #3 opened by barras
February 7, 2024 10:30 12m 17s barras:db
barras:db
February 7, 2024 10:30 12m 17s
update README (fix #1046) .github/workflows/main.yml #1062: Commit ef2c7a0 pushed by fblanqui
February 6, 2024 16:00 8m 24s 1046
1046
February 6, 2024 16:00 8m 24s
coq export: add mappings of erasing.lp in rmap if possible (#1040) .github/workflows/main.yml #1061: Commit a140014 pushed by fblanqui
February 1, 2024 11:20 7m 55s master
master
February 1, 2024 11:20 7m 55s
coq export: add mappings of erasing.lp in rmap if possible .github/workflows/main.yml #1060: Commit 9c13c6e pushed by fblanqui
February 1, 2024 11:07 8m 3s rename
rename
February 1, 2024 11:07 8m 3s
Add try tactic (#1032) .github/workflows/main.yml #1059: Commit bc447c9 pushed by fblanqui
January 30, 2024 15:39 7m 51s master
master
January 30, 2024 15:39 7m 51s
fix CONTRIBUTING.md (#1039) .github/workflows/main.yml #1058: Commit f227530 pushed by fblanqui
January 30, 2024 08:19 9m 30s master
master
January 30, 2024 08:19 9m 30s
update CHANGES .github/workflows/main.yml #1057: Commit cc93675 pushed by fblanqui
January 30, 2024 07:42 9m 7s doc
doc
January 30, 2024 07:42 9m 7s
fix CONTRIBUTING.md .github/workflows/main.yml #1056: Commit ecf9067 pushed by fblanqui
January 30, 2024 07:36 12m 39s doc
doc
January 30, 2024 07:36 12m 39s
add .github/dependabot.yml to check action updates weekly .github/workflows/main.yml #1055: Commit d303caa pushed by fblanqui
January 30, 2024 07:32 11m 14s github
github
January 30, 2024 07:32 11m 14s
coq export: do not translate module names (#1037) .github/workflows/main.yml #1054: Commit 1e967ad pushed by fblanqui
January 30, 2024 07:30 12m 3s master
master
January 30, 2024 07:30 12m 3s
coq export: do not translate module names .github/workflows/main.yml #1053: Commit 08842bb pushed by fblanqui
January 30, 2024 07:14 12m 43s coq
coq
January 30, 2024 07:14 12m 43s
Bump actions/checkout from 3 to 4 (#1029) .github/workflows/main.yml #1052: Commit b441123 pushed by fblanqui
January 22, 2024 18:17 11m 37s master
master
January 22, 2024 18:17 11m 37s
Bump actions/checkout from 3 to 4 .github/workflows/main.yml #1051: Commit 8eac141 pushed by fblanqui
January 22, 2024 18:03 11m 39s ci
ci
January 22, 2024 18:03 11m 39s
Merge remote-tracking branch 'dk/master' into db .github/workflows/main.yml #1050: Commit 24a54e8 pushed by fblanqui
December 19, 2023 09:37 8m 47s db
db
December 19, 2023 09:37 8m 47s
rewrite tactic: improve matches (fix #1026) (#1027) .github/workflows/main.yml #1049: Commit b18c342 pushed by fblanqui
December 19, 2023 09:22 11m 39s master
master
December 19, 2023 09:22 11m 39s
rewrite tactic: improve matches (fix #1026) .github/workflows/main.yml #1048: Commit 23e19b2 pushed by fblanqui
December 19, 2023 07:22 11m 39s 1026
1026
December 19, 2023 07:22 11m 39s
Makefile: remove LIB_ROOT (#1025) .github/workflows/main.yml #1047: Commit 0e0f265 pushed by fblanqui
November 30, 2023 14:58 8m 5s master
master
November 30, 2023 14:58 8m 5s
Makefile: remove LIB_ROOT .github/workflows/main.yml #1046: Commit 26bc86d pushed by fblanqui
November 30, 2023 14:44 8m 10s make
make
November 30, 2023 14:44 8m 10s
add missing deps in tests/regressions/dune (fix #983) .github/workflows/main.yml #1045: Commit 00891c4 pushed by fblanqui
November 30, 2023 14:44 8m 49s dune
dune
November 30, 2023 14:44 8m 49s