Skip to content

Actions: fprime-community/fpy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,060 workflow runs
1,060 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
Warning system, prepare for import stmt, formatting, precommit, spec … Spell checking #595: Commit edf8d8a pushed by zimri-leisher
32s 82-import
82-import
32s
Formally prove totality and determinism of numeric casts CodeQL Security Scan #229: Pull request #85 synchronize by zimri-leisher
1m 12s math-proof
math-proof
1m 12s
Formally prove totality and determinism of numeric casts fprime-fpy tests #229: Pull request #85 synchronize by zimri-leisher
2m 10s math-proof
math-proof
2m 10s
Formally prove totality and determinism of numeric casts Spell checking #594: Pull request #85 synchronize by zimri-leisher
37s
37s
Formalize arithmetic semantics, split docs into adoc, add some compar… Spell checking #593: Commit 9047d0e pushed by zimri-leisher
13s math-proof
math-proof
13s
Formally prove totality and determinism of numeric casts Spell checking #592: Pull request #85 opened by zimri-leisher
38s
38s
Merge branch 'devel' of github.com:fprime-community/fpy into math-proof Spell checking #591: Commit 70c083a pushed by zimri-leisher
25s math-proof
math-proof
25s
Warning system, prepare for import stmt, formatting, precommit, spec … fprime-fpy tests #228: Commit edf8d8a pushed by zimri-leisher
1m 49s devel
devel
1m 49s
Warning system, prepare for import stmt, formatting, precommit, spec … CodeQL Security Scan #228: Commit edf8d8a pushed by zimri-leisher
1m 19s devel
devel
1m 19s
Warning system, prepare for import stmt, formatting, precommit, spec … Spell checking #590: Commit edf8d8a pushed by zimri-leisher
26s devel
devel
26s
Warning system, prepare for import stmt, formatting, precommit, spec link, update dev workflow readme section fprime-fpy tests #227: Pull request #84 synchronize by zimri-leisher
2m 11s warning-system
warning-system
2m 11s
Warning system, prepare for import stmt, formatting, precommit, spec link, update dev workflow readme section CodeQL Security Scan #227: Pull request #84 synchronize by zimri-leisher
1m 24s warning-system
warning-system
1m 24s
Warning system, prepare for import stmt, formatting, precommit, spec link, update dev workflow readme section Spell checking #589: Pull request #84 synchronize by zimri-leisher
27s
27s
sp Spell checking #588: Commit 5f5da6d pushed by zimri-leisher
13s warning-system
warning-system
13s
Warning system, prepare for import stmt, formatting, precommit, spec link, update dev workflow readme section CodeQL Security Scan #226: Pull request #84 synchronize by zimri-leisher
1m 27s warning-system
warning-system
1m 27s
Warning system, prepare for import stmt, formatting, precommit, spec link, update dev workflow readme section fprime-fpy tests #226: Pull request #84 synchronize by zimri-leisher
1m 35s warning-system
warning-system
1m 35s
Warning system, prepare for import stmt, formatting, precommit, spec link, update dev workflow readme section Spell checking #587: Pull request #84 synchronize by zimri-leisher
32s
32s
sp Spell checking #586: Commit 7b883d7 pushed by zimri-leisher
17s warning-system
warning-system
17s
Warning system, prepare for import stmt, formatting, precommit, spec link, update dev workflow readme section CodeQL Security Scan #225: Pull request #84 synchronize by zimri-leisher
1m 13s warning-system
warning-system
1m 13s
Warning system, prepare for import stmt, formatting, precommit, spec link, update dev workflow readme section fprime-fpy tests #225: Pull request #84 synchronize by zimri-leisher
1m 58s warning-system
warning-system
1m 58s
Warning system, prepare for import stmt, formatting, precommit, spec link, update dev workflow readme section Spell checking #585: Pull request #84 synchronize by zimri-leisher
36s
36s
sp Spell checking #584: Commit 8ef02fc pushed by zimri-leisher
13s warning-system
warning-system
13s
Warning system, prepare for import stmt, formatting, precommit, spec link, update dev workflow readme section fprime-fpy tests #224: Pull request #84 synchronize by zimri-leisher
1m 53s warning-system
warning-system
1m 53s
Warning system, prepare for import stmt, formatting, precommit, spec link, update dev workflow readme section CodeQL Security Scan #224: Pull request #84 synchronize by zimri-leisher
1m 20s warning-system
warning-system
1m 20s
Warning system, prepare for import stmt, formatting, precommit, spec link, update dev workflow readme section Spell checking #583: Pull request #84 synchronize by zimri-leisher
36s
36s