Skip to content

Actions: Alidra/lambdapi

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
164 workflow runs
164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Vscode : release a new version of the vscode extension .github/workflows/main.yml #114: Commit d38b63e pushed by Alidra
May 13, 2024 09:49 8m 53s release/vscode
release/vscode
May 13, 2024 09:49 8m 53s
Show the Goal panel if it has lost focus (#1081) .github/workflows/main.yml #113: Commit 0b91a5d pushed by Alidra
May 13, 2024 08:40 8m 33s master
master
May 13, 2024 08:40 8m 33s
Check libraries when Lambdapi code changes (#1107) .github/workflows/main.yml #112: Commit 04e52b2 pushed by Alidra
May 6, 2024 18:02 8m 48s master
master
May 6, 2024 18:02 8m 48s
test_lib.sh: use only one find .github/workflows/main.yml #111: Commit 2c545d9 pushed by fblanqui
May 3, 2024 16:10 8m 55s feat/checkLibraries
feat/checkLibraries
May 3, 2024 16:10 8m 55s
tests: In runtests.sh, put back redirection to out with simplification .github/workflows/main.yml #110: Commit 3eb58a2 pushed by Alidra
May 3, 2024 08:59 9m 17s feat/checkLibraries
feat/checkLibraries
May 3, 2024 08:59 9m 17s
move cloned repositories to /tmp .github/workflows/main.yml #109: Commit f652e50 pushed by Alidra
May 2, 2024 18:07 8m 45s feat/checkLibraries
feat/checkLibraries
May 2, 2024 18:07 8m 45s
move cloned repositories to /tmp .github/workflows/main.yml #108: Commit c2b4b86 pushed by Alidra
May 2, 2024 17:28 7m 55s testScript
testScript
May 2, 2024 17:28 7m 55s
ci: test_lib is already included in tests .github/workflows/main.yml #107: Commit c934370 pushed by fblanqui
May 2, 2024 16:24 8m 12s feat/checkLibraries
feat/checkLibraries
May 2, 2024 16:24 8m 12s
fix and rename test script + include make test_libs in make tests .github/workflows/main.yml #106: Commit 2a35bc3 pushed by fblanqui
May 2, 2024 16:09 7m 59s feat/checkLibraries
feat/checkLibraries
May 2, 2024 16:09 7m 59s
checkLibs : extract foldername from repo uri .github/workflows/main.yml #105: Commit 5abc457 pushed by Alidra
May 2, 2024 15:39 8m 14s feat/checkLibraries
feat/checkLibraries
May 2, 2024 15:39 8m 14s
check libraries some renaming and redirection of lambdapi check output .github/workflows/main.yml #104: Commit 0d2fba1 pushed by Alidra
May 2, 2024 14:25 8m 11s feat/checkLibraries
feat/checkLibraries
May 2, 2024 14:25 8m 11s
add -c flag to lambdapi check with libs .github/workflows/main.yml #103: Commit d1897d5 pushed by Alidra
May 2, 2024 14:06 8m 48s testScripts
testScripts
May 2, 2024 14:06 8m 48s
small fix .github/workflows/main.yml #102: Commit bc00532 pushed by Alidra
May 2, 2024 11:25 8m 35s testScripts
testScripts
May 2, 2024 11:25 8m 35s
small fix .github/workflows/main.yml #101: Commit 26eee38 pushed by Alidra
May 2, 2024 11:13 8m 18s testScripts
testScripts
May 2, 2024 11:13 8m 18s
some cleaning .github/workflows/main.yml #100: Commit 653c64e pushed by Alidra
May 2, 2024 11:04 8m 23s testScripts
testScripts
May 2, 2024 11:04 8m 23s
rename checkLibraries to test_libs, show time and simplify test_lib s… .github/workflows/main.yml #99: Commit 12f2cc8 pushed by Alidra
May 2, 2024 08:49 9m 27s testScripts
testScripts
May 2, 2024 08:49 9m 27s
feat/check libs : check dk files and lambdapi-stdlib .github/workflows/main.yml #98: Commit c4534f2 pushed by Alidra
April 30, 2024 22:14 8m 52s feat/checkLibraries
feat/checkLibraries
April 30, 2024 22:14 8m 52s
create a script to clone libraries and check them and call it from pi… .github/workflows/main.yml #97: Commit f3e8ade pushed by Alidra
April 30, 2024 21:44 7m 55s feat/checkLibraries
feat/checkLibraries
April 30, 2024 21:44 7m 55s
fix #1092 (#1105) .github/workflows/main.yml #96: Commit 0a22cf9 pushed by Alidra
April 30, 2024 14:26 8m 25s master
master
April 30, 2024 14:26 8m 25s
Merge branch 'master' into fix/parsing .github/workflows/main.yml #95: Commit 27105b1 pushed by Alidra
April 29, 2024 12:46 8m 45s fix/parsing
fix/parsing
April 29, 2024 12:46 8m 45s
add flag print_meta_args (#1100) .github/workflows/main.yml #94: Commit 965fdae pushed by Alidra
April 26, 2024 10:16 8m 0s master
master
April 26, 2024 10:16 8m 0s
fix position of green cursor with check until cursor command to be mo… .github/workflows/main.yml #93: Commit 0dca0b7 pushed by Alidra
April 26, 2024 10:10 8m 6s fix/parsing
fix/parsing
April 26, 2024 10:10 8m 6s
move green curson to the end of the current command instead of the be… .github/workflows/main.yml #92: Commit 0af043f pushed by Alidra
April 24, 2024 14:30 8m 4s fix/parsing
fix/parsing
April 24, 2024 14:30 8m 4s
fix position of green cursor when navigating proofs in the presence o… .github/workflows/main.yml #91: Commit 9413095 pushed by Alidra
April 24, 2024 13:49 8m 13s fix_navigProof
fix_navigProof
April 24, 2024 13:49 8m 13s
fix parsing error : add parsing error at the end of logs instead of t… .github/workflows/main.yml #90: Commit 8265f12 pushed by Alidra
April 19, 2024 08:29 9m 16s fix/parsing
fix/parsing
April 19, 2024 08:29 9m 16s