Skip to content

Actions: nim-works/phy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
420 workflow runs
420 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test the reference implementation Build and test #332: Pull request #120 opened by zerbina
March 4, 2025 23:32 3m 5s zerbina:reference-impl-tests
zerbina:reference-impl-tests
March 4, 2025 23:32 3m 5s
interpreter: represent all numbers as rationals Build and test #331: Pull request #119 opened by zerbina
March 4, 2025 22:41 3m 3s zerbina:interpreter-rational-numbers
zerbina:interpreter-rational-numbers
March 4, 2025 22:41 3m 3s
phy: use structured output formatting Build and test #330: Pull request #118 synchronize by zerbina
March 4, 2025 22:02 2m 14s zerbina:structured-phy-output
zerbina:structured-phy-output
March 4, 2025 22:02 2m 14s
phy: use structured output formatting Build and test #329: Pull request #118 synchronize by zerbina
March 4, 2025 16:37 2m 32s zerbina:structured-phy-output
zerbina:structured-phy-output
March 4, 2025 16:37 2m 32s
phy: use structured output formatting Build and test #328: Pull request #118 synchronize by zerbina
March 4, 2025 01:01 2m 23s zerbina:structured-phy-output
zerbina:structured-phy-output
March 4, 2025 01:01 2m 23s
github_actions in /. - Update #974211054 Dependabot Updates #38: by dependabot bot
March 3, 2025 23:25 38s main
main
March 3, 2025 23:25 38s
phy: use structured output formatting Build and test #327: Pull request #118 opened by zerbina
March 3, 2025 22:38 2m 39s zerbina:structured-phy-output
zerbina:structured-phy-output
March 3, 2025 22:38 2m 39s
rework the meta language Build and test #326: Pull request #114 synchronize by zerbina
March 3, 2025 19:55 2m 31s zerbina:meta-language-proof-engine
zerbina:meta-language-proof-engine
March 3, 2025 19:55 2m 31s
rework the meta language Build and test #325: Pull request #114 synchronize by zerbina
March 3, 2025 19:52 2m 31s zerbina:meta-language-proof-engine
zerbina:meta-language-proof-engine
March 3, 2025 19:52 2m 31s
rework the meta language Build and test #324: Pull request #114 synchronize by zerbina
February 27, 2025 15:25 2m 26s zerbina:meta-language-proof-engine
zerbina:meta-language-proof-engine
February 27, 2025 15:25 2m 26s
rework the meta language Build and test #323: Pull request #114 synchronize by zerbina
February 26, 2025 20:27 2m 37s zerbina:meta-language-proof-engine
zerbina:meta-language-proof-engine
February 26, 2025 20:27 2m 37s
rework the meta language Build and test #322: Pull request #114 synchronize by zerbina
February 26, 2025 15:03 1m 8s zerbina:meta-language-proof-engine
zerbina:meta-language-proof-engine
February 26, 2025 15:03 1m 8s
github_actions in /. - Update #970067447 Dependabot Updates #37: by dependabot bot
February 24, 2025 23:19 2m 35s main
main
February 24, 2025 23:19 2m 35s
spec: replace the type shorthands Build and test #321: Pull request #116 opened by zerbina
February 19, 2025 22:59 2m 31s zerbina:spec-minor-improvements
zerbina:spec-minor-improvements
February 19, 2025 22:59 2m 31s
github_actions in /. - Update #966318316 Dependabot Updates #36: by dependabot bot
February 17, 2025 23:33 32s main
main
February 17, 2025 23:33 32s
github_actions in /. - Update #961992161 Dependabot Updates #35: by dependabot bot
February 10, 2025 23:10 32s main
main
February 10, 2025 23:10 32s
spec: clarify readFile semantics Build and test #320: Pull request #115 opened by zerbina
February 5, 2025 21:45 2m 29s zerbina:spec-clarify-read-file-semantics
zerbina:spec-clarify-read-file-semantics
February 5, 2025 21:45 2m 29s
rework the meta language Build and test #319: Pull request #114 opened by zerbina
February 4, 2025 01:02 1m 13s zerbina:meta-language-proof-engine
zerbina:meta-language-proof-engine
February 4, 2025 01:02 1m 13s
github_actions in /. - Update #958499814 Dependabot Updates #34: by dependabot bot
February 3, 2025 23:29 34s main
main
February 3, 2025 23:29 34s
langdefs: use case expression for function bodies Build and test #318: Pull request #113 opened by zerbina
January 30, 2025 22:59 2m 17s zerbina:langdefs-functions-use-case-stmt
zerbina:langdefs-functions-use-case-stmt
January 30, 2025 22:59 2m 17s
source2il: implement alignment support Build and test #317: Pull request #112 synchronize by zerbina
January 28, 2025 23:52 2m 16s zerbina:source2il-alignment-support
zerbina:source2il-alignment-support
January 28, 2025 23:52 2m 16s
github_actions in /. - Update #954600130 Dependabot Updates #33: by dependabot bot
January 27, 2025 23:32 37s main
main
January 27, 2025 23:32 37s
add a meta-language for formal definitions Build and test #316: Pull request #69 synchronize by zerbina
January 27, 2025 22:15 2m 56s zerbina:formal-definition
zerbina:formal-definition
January 27, 2025 22:15 2m 56s
add a meta-language for formal definitions Build and test #315: Pull request #69 synchronize by zerbina
January 27, 2025 22:13 3m 8s zerbina:formal-definition
zerbina:formal-definition
January 27, 2025 22:13 3m 8s
source2il: implement alignment support Build and test #314: Pull request #112 opened by zerbina
January 26, 2025 23:00 2m 14s zerbina:source2il-alignment-support
zerbina:source2il-alignment-support
January 26, 2025 23:00 2m 14s