Skip to content

Actions: nim-works/phy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
415 workflow runs
415 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #986241148 Dependabot Updates #41: by dependabot bot
March 24, 2025 23:53 34s main
main
March 24, 2025 23:53 34s
spec: fix dynamic semantics of integer arithmetic Build and test #374: Pull request #137 opened by zerbina
March 24, 2025 22:02 2m 33s zerbina:spec-fix-int-semantics
zerbina:spec-fix-int-semantics
March 24, 2025 22:02 2m 33s
spec: make dynamic semantics of With correct Build and test #373: Pull request #136 opened by zerbina
March 24, 2025 21:22 2m 48s zerbina:spec-fix-with
zerbina:spec-fix-with
March 24, 2025 21:22 2m 48s
lang: add basic unpacking for union types Build and test #372: Pull request #110 synchronize by zerbina
March 24, 2025 21:09 2m 14s zerbina:source-lang-pattern-matching
zerbina:source-lang-pattern-matching
March 24, 2025 21:09 2m 14s
lang: add basic unpacking for union types Build and test #371: Pull request #110 synchronize by zerbina
March 24, 2025 15:18 3m 16s zerbina:source-lang-pattern-matching
zerbina:source-lang-pattern-matching
March 24, 2025 15:18 3m 16s
lang: add basic unpacking for union types Build and test #370: Pull request #110 synchronize by zerbina
March 23, 2025 22:58 1m 22s zerbina:source-lang-pattern-matching
zerbina:source-lang-pattern-matching
March 23, 2025 22:58 1m 22s
interpreter: represent all numbers as rationals Build and test #369: Pull request #119 synchronize by zerbina
March 23, 2025 19:34 2m 47s zerbina:interpreter-rational-numbers
zerbina:interpreter-rational-numbers
March 23, 2025 19:34 2m 47s
interpreter: represent all numbers as rationals Build and test #368: Pull request #119 synchronize by zerbina
March 23, 2025 18:26 2m 48s zerbina:interpreter-rational-numbers
zerbina:interpreter-rational-numbers
March 23, 2025 18:26 2m 48s
use arbitrary-precision integers in the meta language Build and test #367: Pull request #130 synchronize by zerbina
March 22, 2025 20:19 2m 31s zerbina:interpreter-bignums
zerbina:interpreter-bignums
March 22, 2025 20:19 2m 31s
lang: add dynamic tuple indexing Build and test #366: Pull request #135 opened by zerbina
March 22, 2025 19:22 2m 24s zerbina:source-lang-dyn-tuple-access
zerbina:source-lang-dyn-tuple-access
March 22, 2025 19:22 2m 24s
lang: add explicit type widening (As) Build and test #365: Pull request #122 synchronize by zerbina
March 22, 2025 19:18 2m 39s zerbina:source-lang-as
zerbina:source-lang-as
March 22, 2025 19:18 2m 39s
lang: add explicit type widening (As) Build and test #364: Pull request #122 synchronize by zerbina
March 22, 2025 19:13 2m 21s zerbina:source-lang-as
zerbina:source-lang-as
March 22, 2025 19:13 2m 21s
spec: properly implement desugar Build and test #363: Pull request #134 synchronize by zerbina
March 22, 2025 18:19 2m 18s zerbina:spec-fix-desugar
zerbina:spec-fix-desugar
March 22, 2025 18:19 2m 18s
spec: properly implement desugar Build and test #362: Pull request #134 opened by zerbina
March 21, 2025 23:13 2m 17s zerbina:spec-fix-desugar
zerbina:spec-fix-desugar
March 21, 2025 23:13 2m 17s
spec: add missing At context rules Build and test #361: Pull request #133 opened by zerbina
March 21, 2025 22:48 3m 6s zerbina:spec-fix-at
zerbina:spec-fix-at
March 21, 2025 22:48 3m 6s
lang: add explicit type widening (As) Build and test #360: Pull request #122 synchronize by zerbina
March 21, 2025 20:19 2m 52s zerbina:source-lang-as
zerbina:source-lang-as
March 21, 2025 20:19 2m 52s
lang: add explicit type widening (As) Build and test #359: Pull request #122 synchronize by zerbina
March 21, 2025 19:55 2m 36s zerbina:source-lang-as
zerbina:source-lang-as
March 21, 2025 19:55 2m 36s
lang: allow non-void expressions as bodies Build and test #358: Pull request #132 opened by zerbina
March 20, 2025 00:56 3m 16s zerbina:source-lang-expression-bodies
zerbina:source-lang-expression-bodies
March 20, 2025 00:56 3m 16s
spec: fix dynamic semantics for lvalues Build and test #357: Pull request #127 synchronize by zerbina
March 19, 2025 18:01 2m 48s zerbina:spec-fix-lvalue-semantics
zerbina:spec-fix-lvalue-semantics
March 19, 2025 18:01 2m 48s
github_actions in /. - Update #982255096 Dependabot Updates #40: by dependabot bot
March 17, 2025 23:52 35s main
main
March 17, 2025 23:52 35s
spec: define floating-point operational semantics Build and test #356: Pull request #131 opened by zerbina
March 17, 2025 20:29 2m 59s zerbina:spec-float-semantics
zerbina:spec-float-semantics
March 17, 2025 20:29 2m 59s
langdefs: improve function syntax Build and test #355: Pull request #129 synchronize by zerbina
March 17, 2025 17:08 2m 42s zerbina:meta-lang-improvements
zerbina:meta-lang-improvements
March 17, 2025 17:08 2m 42s
use arbitrary-precision integers in the meta language Build and test #354: Pull request #130 opened by zerbina
March 14, 2025 22:36 2m 37s zerbina:interpreter-bignums
zerbina:interpreter-bignums
March 14, 2025 22:36 2m 37s
langdefs: improve function syntax Build and test #353: Pull request #129 opened by zerbina
March 12, 2025 19:22 8m 28s zerbina:meta-lang-improvements
zerbina:meta-lang-improvements
March 12, 2025 19:22 8m 28s
interpreter: represent all numbers as rationals Build and test #352: Pull request #119 synchronize by zerbina
March 12, 2025 19:15 3m 28s zerbina:interpreter-rational-numbers
zerbina:interpreter-rational-numbers
March 12, 2025 19:15 3m 28s