Skip to content

Actions: midspiral/LemmaScript

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,454 workflow runs
1,454 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
Run log: report catches with lsc runs CI #1106: Pull request #227 opened by codefrenzy
6m 55s codefrenzy:lsc-runs
codefrenzy:lsc-runs
6m 55s
Merge pull request #226 from midspiral/dir-for-log Site #247: Commit b7870ec pushed by namin
55s main
main
55s
Merge pull request #226 from midspiral/dir-for-log Kit bump #70: Commit b7870ec pushed by namin
29s main
main
29s
Merge pull request #226 from midspiral/dir-for-log CI #1105: Commit b7870ec pushed by namin
10m 23s main
main
10m 23s
anchor logs with LemmaScript-files.txt if available, in between lemma… CI #1104: Pull request #226 synchronize by namin
6m 18s dir-for-log
dir-for-log
6m 18s
anchor logs with LemmaScript-files.txt if available, in between lemma… CI #1103: Pull request #226 opened by namin
7m 16s dir-for-log
dir-for-log
7m 16s
Merge pull request #225 from codefrenzy/run-log CI #1102: Commit 9ae55b7 pushed by namin
6m 48s main
main
6m 48s
Merge pull request #225 from codefrenzy/run-log Kit bump #69: Commit 9ae55b7 pushed by namin
11s main
main
11s
Merge pull request #225 from codefrenzy/run-log Site #246: Commit 9ae55b7 pushed by namin
1m 23s main
main
1m 23s
Run log: record check and regen runs CI #1101: Pull request #225 opened by codefrenzy
6m 52s codefrenzy:run-log
codefrenzy:run-log
6m 52s
trigger CI after concurrent update of case studies Site #245: Commit 557d6bf pushed by namin
50s main
main
50s
trigger CI after concurrent update of case studies Kit bump #68: Commit 557d6bf pushed by namin
9s main
main
9s
trigger CI after concurrent update of case studies CI #1100: Commit 557d6bf pushed by namin
6m 30s main
main
6m 30s
Merge pull request #223 from midspiral/velvet2 Site #244: Commit 5828df7 pushed by namin
1m 17s main
main
1m 17s
Merge pull request #223 from midspiral/velvet2 Kit bump #67: Commit 5828df7 pushed by namin
10s main
main
10s
Merge pull request #223 from midspiral/velvet2 CI #1099: Commit 5828df7 pushed by namin
5m 3s main
main
5m 3s
Migration to Lean Velvet 2 CI #1098: Pull request #223 synchronize by namin
5m 6s velvet2
velvet2
5m 6s
Migration to Lean Velvet 2 CI #1097: Pull request #223 synchronize by namin
6m 7s velvet2
velvet2
6m 7s
init fstar CI #1096: Pull request #224 synchronize by namin
17m 30s fstar
fstar
17m 30s
init fstar CI #1095: Pull request #224 synchronize by namin
10m 49s fstar
fstar
10m 49s
Migration to Lean Velvet 2 CI #1094: Pull request #223 synchronize by namin
6m 11s velvet2
velvet2
6m 11s
Merge pull request #211 from quangng2000/codex/issue-210-js-utf16-str… Site #243: Commit 37eb3f2 pushed by namin
1m 4s main
main
1m 4s
Merge pull request #211 from quangng2000/codex/issue-210-js-utf16-str… CI #1093: Commit 37eb3f2 pushed by namin
10m 21s main
main
10m 21s
Merge pull request #211 from quangng2000/codex/issue-210-js-utf16-str… Kit bump #66: Commit 37eb3f2 pushed by namin
39s main
main
39s
Add configurable UTF-16 string semantics CI #1092: Pull request #211 synchronize by quangng2000
6m 31s quangng2000:codex/issue-210-js-utf16-strings
quangng2000:codex/issue-210-js-utf16-strings
6m 31s