Skip to content

Actions: Charles-Johnson/zia_programming

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
67 workflow runs
67 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
Relationship tutorials bug Main #145: Pull request #76 synchronize by Charles-Johnson
1m 50s relationship-tutorials-bug
relationship-tutorials-bug
1m 50s
Comment out failing step Website #174: Commit 8d82622 pushed by Charles-Johnson
2m 3s relationship-tutorials-bug
relationship-tutorials-bug
2m 3s
Relationship tutorials bug Main #144: Pull request #76 synchronize by Charles-Johnson
32s relationship-tutorials-bug
relationship-tutorials-bug
32s
Lazily determine generalisation candidates Website #173: Commit 08f4af2 pushed by Charles-Johnson
1m 44s relationship-tutorials-bug
relationship-tutorials-bug
1m 44s
Trying to define integer division but got a stack overflow Main #143: Pull request #81 synchronize by Charles-Johnson
1m 28s arrays
arrays
1m 28s
Merge branch 'master' into arrays Website #172: Commit 30c9f6c pushed by Charles-Johnson
1m 46s arrays
arrays
1m 46s
Merge branch 'master' into arrays Security audit #24: Commit 30c9f6c pushed by Charles-Johnson
2m 58s arrays
arrays
2m 58s
Relationship tutorials bug Main #142: Pull request #76 synchronize by Charles-Johnson
2m 25s relationship-tutorials-bug
relationship-tutorials-bug
2m 25s
Merge branch 'master' into relationship-tutorials-bug Website #171: Commit 3d94163 pushed by Charles-Johnson
1m 50s relationship-tutorials-bug
relationship-tutorials-bug
1m 50s
Merge branch 'master' into relationship-tutorials-bug Security audit #23: Commit 3d94163 pushed by Charles-Johnson
2m 54s relationship-tutorials-bug
relationship-tutorials-bug
2m 54s
Merge pull request #78 from Charles-Johnson/extend-relationships-tuto… Website #170: Commit 13cee47 pushed by Charles-Johnson
2m 16s master
master
2m 16s
Consistency check when defining reductions Main #141: Pull request #78 synchronize by Charles-Johnson
2m 14s extend-relationships-tutorial
extend-relationships-tutorial
2m 14s
Fix doc tests Website #169: Commit 3479807 pushed by Charles-Johnson
1m 51s extend-relationships-tutorial
extend-relationships-tutorial
1m 51s
Consistency check when defining reductions Main #140: Pull request #78 synchronize by Charles-Johnson
2m 7s extend-relationships-tutorial
extend-relationships-tutorial
2m 7s
Implement forget concrete concept and fix tests Security audit #22: Commit b90074b pushed by Charles-Johnson
2m 54s extend-relationships-tutorial
extend-relationships-tutorial
2m 54s
Implement forget concrete concept and fix tests Website #168: Commit b90074b pushed by Charles-Johnson
1m 44s extend-relationships-tutorial
extend-relationships-tutorial
1m 44s
Update version of zia for zia-lang.org Website #167: Commit 737ce5b pushed by Charles-Johnson
2m 9s master
master
2m 9s
Update version of zia for zia-lang.org Security audit #21: Commit 737ce5b pushed by Charles-Johnson
2m 56s master
master
2m 56s
Update references to config files in README Website #166: Commit 1cebb93 pushed by Charles-Johnson
54s master
master
54s
Upgrade dependencies of izia Website #165: Commit a269848 pushed by Charles-Johnson
54s master
master
54s
Upgrade dependencies of izia Security audit #20: Commit a269848 pushed by Charles-Johnson
2m 39s master
master
2m 39s
Remove unnecessary paragraph Website #164: Commit 02b3a0b pushed by Charles-Johnson
2m 8s master
master
2m 8s
Update crate doc Website #163: Commit 801c59c pushed by Charles-Johnson
2m 24s master
master
2m 24s
Merge branch 'master' of github.com:Charles-Johnson/zia_programming Website #162: Commit 98068e1 pushed by Charles-Johnson
2m 12s master
master
2m 12s
Revise README for clarity and conciseness Website #161: Commit 285bf24 pushed by Charles-Johnson
2m 11s master
master
2m 11s