Skip to content

Actions: MysaaJava/trocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 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
Hooking Trocq to Rocq's coercion algorithm (#66) Nix CI for bundle rocq-9.1 #11: Commit 4f6c31b pushed by MysaaJava
6m 43s master
master
6m 43s
Hooking Trocq to Rocq's coercion algorithm (#66) Nix CI for bundle rocq-9.0 #11: Commit 4f6c31b pushed by MysaaJava
4m 4s master
master
4m 4s
Fixed website location because GitHub is close-minded (#71) Nix CI for bundle rocq-9.0 #10: Commit 1e763f6 pushed by MysaaJava
3m 50s master
master
3m 50s
Fixed website location because GitHub is close-minded (#71) Nix CI for bundle rocq-9.1 #10: Commit 1e763f6 pushed by MysaaJava
3m 27s master
master
3m 27s
Merge pull request #67 from MysaaJava/cleanup Nix CI for bundle rocq-9.0 #9: Commit c8e1973 pushed by MysaaJava
3m 5s master
master
3m 5s
Merge pull request #67 from MysaaJava/cleanup Nix CI for bundle rocq-9.1 #9: Commit c8e1973 pushed by MysaaJava
4m 0s master
master
4m 0s
Merge pull request #65 from MysaaJava/master Nix CI for bundle rocq-9.0 #8: Commit 8a78dad pushed by MysaaJava
3m 4s master
master
3m 4s
Merge pull request #65 from MysaaJava/master Nix CI for bundle rocq-9.1 #8: Commit 8a78dad pushed by MysaaJava
10m 58s master
master
10m 58s
Removed fresh-type (now useless), merged param for global and pglobal Nix CI for bundle rocq-9.0 #7: Commit f1c5324 pushed by MysaaJava
5m 33s master
master
5m 33s
Removed fresh-type (now useless), merged param for global and pglobal Nix CI for bundle rocq-9.1 #7: Commit f1c5324 pushed by MysaaJava
5m 41s master
master
5m 41s
Merge pull request #64 from MysaaJava/aterm Nix CI for bundle rocq-9.0 #6: Commit 4ed783c pushed by MysaaJava
2m 58s master
master
2m 58s
Merge pull request #64 from MysaaJava/aterm Nix CI for bundle rocq-9.1 #6: Commit 4ed783c pushed by MysaaJava
3m 41s master
master
3m 41s
Merge pull request #58 from rocq-community/minor-tutorial-updates Nix CI for bundle rocq-9.0 #5: Commit 879f430 pushed by MysaaJava
2m 14s master
master
2m 14s
Merge pull request #58 from rocq-community/minor-tutorial-updates Nix CI for bundle rocq-9.1 #5: Commit 879f430 pushed by MysaaJava
2m 16s master
master
2m 16s
Merge pull request #58 from rocq-community/minor-tutorial-updates Nix CI for bundle coq-8.20 #5: Commit 879f430 pushed by MysaaJava
2m 20s master
master
2m 20s
Upgrade nix toolbox to elpi 3.4.1 (#61) Nix CI for bundle coq-8.20 #4: Commit 863de07 pushed by MysaaJava
2m 13s master
master
2m 13s
Upgrade nix toolbox to elpi 3.4.1 (#61) Nix CI for bundle rocq-9.1 #4: Commit 863de07 pushed by MysaaJava
2m 13s master
master
2m 13s
Upgrade nix toolbox to elpi 3.4.1 (#61) Nix CI for bundle rocq-9.0 #4: Commit 863de07 pushed by MysaaJava
2m 14s master
master
2m 14s
Upgrade coq-nix-toolbox to upgrade to elpi 3.4.1 Nix CI for bundle coq-8.20 #3: Commit 97d63fb pushed by MysaaJava
5m 27s master
master
5m 27s
Upgrade coq-nix-toolbox to upgrade to elpi 3.4.1 Nix CI for bundle rocq-9.0 #3: Commit 97d63fb pushed by MysaaJava
7m 0s master
master
7m 0s
Upgrade coq-nix-toolbox to upgrade to elpi 3.4.1 Nix CI for bundle rocq-9.1 #3: Commit 97d63fb pushed by MysaaJava
4m 50s master
master
4m 50s
Upgrade coq-nix-toolbox to upgrade to elpi 3.4.1 Nix CI for bundle rocq-9.0 #2: Commit 2ec8193 pushed by MysaaJava
5m 4s master
master
5m 4s
Upgrade coq-nix-toolbox to upgrade to elpi 3.4.1 Nix CI for bundle coq-8.20 #2: Commit 2ec8193 pushed by MysaaJava
5m 6s master
master
5m 6s
Upgrade coq-nix-toolbox to upgrade to elpi 3.4.1 Nix CI for bundle rocq-9.1 #2: Commit 2ec8193 pushed by MysaaJava
11m 7s master
master
11m 7s
Nix CI for bundle coq-8.20 Nix CI for bundle coq-8.20 #1: by MysaaJava
3m 27s master
master
3m 27s