Skip to content

Actions: Deducteam/lambdapi-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
154 workflow runs
154 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
github_actions in /. - Update #1503434786 Dependabot Updates #120: by dependabot Bot
50s master
master
50s
github_actions in /. - Update #1488030746 Dependabot Updates #119: by dependabot Bot
24s master
master
24s
Prop: add builtins for why3 tactic (#69) .github/workflows/main.yml #296: Commit 0149592 pushed by fblanqui
4m 25s master
master
4m 25s
Prop: add builtins for why3 tactic .github/workflows/main.yml #295: Pull request #69 opened by fblanqui
4m 3s fblanqui:why3
fblanqui:why3
4m 3s
revert change in opam file to allow opam install . .github/workflows/main.yml #294: Commit bca6eb2 pushed by fblanqui
4m 22s master
master
4m 22s
use lambdapi > 3.0.0 (#68) .github/workflows/main.yml #293: Commit 9cdfe5b pushed by fblanqui
3m 56s master
master
3m 56s
use lambdapi > 3.0.0 .github/workflows/main.yml #292: Pull request #68 opened by fblanqui
4m 26s fblanqui:ci
fblanqui:ci
4m 26s
allow parsing of positive numbers in decimal notation (#55) .github/workflows/main.yml #291: Commit 8678dfd pushed by fblanqui
4m 26s master
master
4m 26s
allow parsing of positive numbers in decimal notation .github/workflows/main.yml #290: Pull request #55 synchronize by fblanqui
4m 15s fblanqui:pos
fblanqui:pos
4m 15s
add Univ.v (#67) .github/workflows/main.yml #289: Commit cc870b1 pushed by fblanqui
4m 36s master
master
4m 36s
add Univ.v .github/workflows/main.yml #288: Pull request #67 synchronize by fblanqui
4m 21s fblanqui:univ
fblanqui:univ
4m 21s
github_actions in /. - Update #1469052068 Dependabot Updates #118: by dependabot Bot
41s master
master
41s
add Univ.v .github/workflows/main.yml #287: Pull request #67 synchronize by fblanqui
3m 20s fblanqui:univ
fblanqui:univ
3m 20s
add Univ.v .github/workflows/main.yml #286: Pull request #67 synchronize by fblanqui
4m 30s fblanqui:univ
fblanqui:univ
4m 30s
add Univ.v .github/workflows/main.yml #285: Pull request #67 synchronize by fblanqui
4m 22s fblanqui:univ
fblanqui:univ
4m 22s
add Univ.v .github/workflows/main.yml #284: Pull request #67 opened by fblanqui
4m 28s fblanqui:univ
fblanqui:univ
4m 28s
add builtin "Set" (#66) .github/workflows/main.yml #283: Commit 497f7e9 pushed by fblanqui
4m 26s master
master
4m 26s
add builtin "Set" .github/workflows/main.yml #282: Pull request #66 opened by fblanqui
4m 18s fblanqui:set
fblanqui:set
4m 18s
update ci script (#65) .github/workflows/main.yml #281: Commit 9107cd9 pushed by fblanqui
8m 20s master
master
8m 20s
update ci script .github/workflows/main.yml #280: Pull request #65 opened by fblanqui
8m 38s fblanqui:ci
fblanqui:ci
8m 38s
github_actions in /. - Update #1459380586 Dependabot Updates #117: by dependabot Bot
31s master
master
31s
Changed reduction to mirror behaviour of native Rocq encodings (#64) .github/workflows/main.yml #279: Commit e8a9310 pushed by fblanqui
4m 16s master
master
4m 16s
Changed reduction to mirror behaviour of native Rocq encodings .github/workflows/main.yml #278: Pull request #64 synchronize by fblanqui
4m 12s melanie-taprogge:rocq-compatible-version
melanie-taprogge:rocq-compatible-version
4m 12s
Changed reduction to mirror behaviour of native Rocq encodings .github/workflows/main.yml #277: Pull request #64 synchronize by fblanqui
4m 14s melanie-taprogge:rocq-compatible-version
melanie-taprogge:rocq-compatible-version
4m 14s
release 1.4.0 .github/workflows/main.yml #276: Commit 0a40bd6 pushed by fblanqui
4m 9s 1.4.0
1.4.0
4m 9s