Skip to content

Actions: nim-works/phy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
359 workflow runs
359 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

WIP: next steps for 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
WIP: next steps for 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
source2il: fix missing seq copies Build and test #313: Pull request #111 opened by zerbina
January 26, 2025 22:08 2m 28s zerbina:source2il-fix-missing-seq-copies
zerbina:source2il-fix-missing-seq-copies
January 26, 2025 22:08 2m 28s
lang: add basic unpacking for union types Build and test #312: Pull request #110 opened by zerbina
January 25, 2025 00:47 2m 40s zerbina:source-lang-pattern-matching
zerbina:source-lang-pattern-matching
January 25, 2025 00:47 2m 40s
host_impl: make output streams configurable Build and test #311: Pull request #109 opened by zerbina
January 22, 2025 23:18 2m 25s zerbina:host-impl-configurable-streams
zerbina:host-impl-configurable-streams
January 22, 2025 23:18 2m 25s
add a meta-language for formal definitions Build and test #310: Pull request #69 synchronize by zerbina
January 22, 2025 22:13 2m 53s zerbina:formal-definition
zerbina:formal-definition
January 22, 2025 22:13 2m 53s
add a meta-language for formal definitions Build and test #309: Pull request #69 synchronize by zerbina
January 22, 2025 16:46 2m 32s zerbina:formal-definition
zerbina:formal-definition
January 22, 2025 16:46 2m 32s
github_actions in /. - Update #950964496 Dependabot Updates #32: by dependabot bot
January 20, 2025 23:26 32s main
main
January 20, 2025 23:26 32s
add the skully program Build and test #308: Pull request #70 synchronize by zerbina
January 18, 2025 00:01 2m 29s zerbina:skully
zerbina:skully
January 18, 2025 00:01 2m 29s
add the skully program Build and test #307: Pull request #70 synchronize by zerbina
January 16, 2025 00:04 2m 27s zerbina:skully
zerbina:skully
January 16, 2025 00:04 2m 27s
add the skully program Build and test #306: Pull request #70 synchronize by zerbina
January 15, 2025 23:20 1m 29s zerbina:skully
zerbina:skully
January 15, 2025 23:20 1m 29s
re-organize files Build and test #305: Pull request #108 synchronize by zerbina
January 15, 2025 20:03 2m 24s zerbina:restructure-directories
zerbina:restructure-directories
January 15, 2025 20:03 2m 24s
re-organize files Build and test #304: Pull request #108 opened by zerbina
January 14, 2025 22:59 2m 35s zerbina:restructure-directories
zerbina:restructure-directories
January 14, 2025 22:59 2m 35s