Skip to content

Actions: Deducteam/lambdapi-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
152 workflow runs
152 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
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
release 1.4.0 .github/workflows/main.yml #275: Commit 0a40bd6 pushed by fblanqui
4m 2s master
master
4m 2s
mapping to rocq stdlib .github/workflows/main.yml #274: Pull request #51 synchronize by fblanqui
4m 7s fblanqui:rocq
fblanqui:rocq
4m 7s
github_actions in /. - Update #1450189839 Dependabot Updates #116: by dependabot Bot
38s master
master
38s
mapping to rocq stdlib .github/workflows/main.yml #273: Pull request #51 synchronize by fblanqui
4m 7s fblanqui:rocq
fblanqui:rocq
4m 7s