Skip to content

Actions: fblanqui/lambdapi-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

FOL: eta expand exist quantifier (#53) .github/workflows/main.yml #95: Commit 9ba9071 pushed by fblanqui
7m 44s master
master
7m 44s
FOL: eta expand exist quantifier .github/workflows/main.yml #94: Commit ebd283c pushed by fblanqui
7m 34s eta
eta
7m 34s
start mapping to rocq stdlib .github/workflows/main.yml #93: Commit 152676c pushed by Alidra
3m 58s rocq
rocq
3m 58s
minor changes .github/workflows/main.yml #92: Commit 6b8d5e0 pushed by Alidra
4m 2s rocq
rocq
4m 2s
update CHANGES .github/workflows/main.yml #91: Commit b56ce7d pushed by fblanqui
4m 8s master
master
4m 8s
declare theorems as opaque symbols (#52) .github/workflows/main.yml #90: Commit 9f9f953 pushed by fblanqui
4m 10s master
master
4m 10s
declare theorems as opaque symbols .github/workflows/main.yml #89: Commit 91b7e3d pushed by fblanqui
4m 8s opaq
opaq
4m 8s
start mapping to rocq stdlib .github/workflows/main.yml #88: Commit 152676c pushed by fblanqui
3m 52s rocq
rocq
3m 52s
Bump actions/checkout from 5 to 6 (#50) .github/workflows/main.yml #87: Commit f33f97d pushed by fblanqui
7m 35s master
master
7m 35s
eta-expand forall argument .github/workflows/main.yml #86: Commit 0c4d828 pushed by fblanqui
3m 53s eta
eta
3m 53s
Bump actions/checkout from 4 to 5 (#48) .github/workflows/main.yml #85: Commit 4eac2ac pushed by fblanqui
7m 1s master
master
7m 1s
simplify requires (now recursive) (#46) .github/workflows/main.yml #84: Commit e04f271 pushed by fblanqui
8m 3s master
master
8m 3s
update opam file .github/workflows/main.yml #83: Commit e6d7317 pushed by fblanqui
4m 9s require
require
4m 9s
update ci .github/workflows/main.yml #82: Commit a91d1cd pushed by fblanqui
7m 10s require
require
7m 10s
wip .github/workflows/main.yml #81: Commit 4ce5074 pushed by fblanqui
4m 0s skolem
skolem
4m 0s
Merge remote-tracking branch 'dk/master' into skolem .github/workflows/main.yml #80: Commit 4724cad pushed by fblanqui
4m 25s skolem
skolem
4m 25s
wip .github/workflows/main.yml #79: Commit a299ad9 pushed by fblanqui
4m 2s skolem
skolem
4m 2s
remove useless simplify (#47) .github/workflows/main.yml #78: Commit 286df3e pushed by fblanqui
4m 24s master
master
4m 24s
remove useless simplify .github/workflows/main.yml #77: Commit 735528b pushed by fblanqui
4m 15s simp
simp
4m 15s
simplify requires (now recursive) .github/workflows/main.yml #76: Commit 7534801 pushed by fblanqui
3m 48s require
require
3m 48s
add skolemization function .github/workflows/main.yml #75: Commit 4a95a7b pushed by fblanqui
3m 31s skolem
skolem
3m 31s
cleaning (#44) .github/workflows/main.yml #74: Commit 4b7b21d pushed by fblanqui
3m 38s master
master
3m 38s
cleaning .github/workflows/main.yml #73: Commit e19778d pushed by fblanqui
4m 11s clean
clean
4m 11s
detail (#43) .github/workflows/main.yml #72: Commit 2f9f71b pushed by fblanqui
3m 57s master
master
3m 57s
detail .github/workflows/main.yml #71: Commit 38698d2 pushed by fblanqui
4m 49s z
z
4m 49s